Searched refs:GUEST_IDTR_LIMIT (Results 1 – 4 of 4) sorted by relevance
470 GUEST_IDTR_LIMIT = 0x00004812, enumerator
1268 __vmwrite(GUEST_IDTR_LIMIT, 0); in construct_vmcs()2014 vmx_dump_sel2("IDTR", GUEST_IDTR_LIMIT); in vmcs_dump_vcpu()
975 __vmread(GUEST_IDTR_LIMIT, &limit); in vmx_get_segment_register()1114 __vmwrite(GUEST_IDTR_LIMIT, limit); in vmx_set_segment_register()
902 GUEST_IDTR_LIMIT,
Completed in 19 milliseconds