The flush method is invoked when the cpu executes an invd or a wbinvd instruction. The writeback parameter is set for the later instruction.
SIM_INTERFACE(x86_cache_flush) { void (*flush)(conf_object_t *obj, conf_object_t *cpu, bool writeback); }; #define X86_CACHE_FLUSH_INTERFACE "x86_cache_flush"