Searched refs:GUEST_LIMIT_IDTR (Results 1 – 3 of 3) sorted by relevance
302 GUEST_LIMIT_IDTR = 0x4812ul, enumerator
177 { MASK(32), GUEST_LIMIT_IDTR },1222 vmcs_write(GUEST_LIMIT_IDTR, idt_descr.limit); in init_vmcs_guest()
8124 guest_desc_limit_saved = vmcs_read(GUEST_LIMIT_IDTR); in vmx_guest_state_area_test()8127 vmcs_write(GUEST_LIMIT_IDTR, tmp); in vmx_guest_state_area_test()8130 vmcs_write(GUEST_LIMIT_IDTR, guest_desc_limit_saved); in vmx_guest_state_area_test()