Searched refs:emulator_writeback_register_cache (Results 1 – 2 of 2) sorted by relevance
5643 void emulator_writeback_register_cache(struct x86_emulate_ctxt *ctxt) in emulator_writeback_register_cache() function
12144 emulator_writeback_register_cache(vcpu->arch.emulate_ctxt); in __get_regs()