Searched refs:VMREAD_BITMAP (Results 1 – 3 of 3) sorted by relevance
156 VMREAD_BITMAP = 0x00002026, enumerator
251 vmwrite(VMREAD_BITMAP, vmx->vmread_gpa); in init_vmcs_control_fields()
7066 vmcs_write64(VMREAD_BITMAP, __pa(vmx_vmread_bitmap)); in nested_vmx_set_vmcs_shadowing_bitmap()