Searched refs:GUEST_IDTR_LIMIT (Results 1 – 4 of 4) sorted by relevance
453 GUEST_IDTR_LIMIT = 0x00004812, enumerator
1206 __vmwrite(GUEST_IDTR_LIMIT, 0); in construct_vmcs()1822 vmx_dump_sel2("IDTR", GUEST_IDTR_LIMIT); in vmcs_dump_vcpu()
1128 __vmread(GUEST_IDTR_LIMIT, &limit); in vmx_get_segment_register()1267 __vmwrite(GUEST_IDTR_LIMIT, limit); in vmx_set_segment_register()
869 GUEST_IDTR_LIMIT,
Completed in 19 milliseconds