Searched refs:GUEST_BASE_IDTR (Results 1 – 3 of 3) sorted by relevance
351 GUEST_BASE_IDTR = 0x6818ul, enumerator
222 { MASK_NATURAL, GUEST_BASE_IDTR },1220 vmcs_write(GUEST_BASE_IDTR, idt_descr.base); in init_vmcs_guest()
8113 test_canonical(GUEST_BASE_IDTR, "GUEST_BASE_IDTR", false); in vmx_guest_state_area_test()