Searched refs:EOI_EXIT_BITMAP0 (Results 1 – 3 of 3) sorted by relevance
148 EOI_EXIT_BITMAP0 = 0x0000201c, enumerator
4865 vmcs_write64(EOI_EXIT_BITMAP0, 0); in init_vmcs()7114 vmcs_write64(EOI_EXIT_BITMAP0, eoi_exit_bitmap[0]); in vmx_load_eoi_exitmap()
2658 vmcs_write64(EOI_EXIT_BITMAP0, vmcs12->eoi_exit_bitmap0); in prepare_vmcs02_rare()