Searched refs:eoi_exit_bitmap3 (Results 1 – 3 of 3) sorted by relevance
51 u64 eoi_exit_bitmap3; member234 CHECK_OFFSET(eoi_exit_bitmap3, 152); in vmx_check_vmcs12_offsets()
48 FIELD64(EOI_EXIT_BITMAP3, eoi_exit_bitmap3),
2472 vmcs_write64(EOI_EXIT_BITMAP3, vmcs12->eoi_exit_bitmap3); in prepare_vmcs02_rare()