Searched refs:GUEST_TR_AR_BYTES (Results 1 – 4 of 4) sorted by relevance
462 GUEST_TR_AR_BYTES = 0x00004822, enumerator
1121 __vmread(GUEST_TR_AR_BYTES, &attr); in vmx_get_segment_register()1260 __vmwrite(GUEST_TR_AR_BYTES, attr); in vmx_set_segment_register()
1219 __vmwrite(GUEST_TR_AR_BYTES, 0x008b); /* 32-bit TSS (busy) */ in construct_vmcs()
877 GUEST_TR_AR_BYTES,
Completed in 18 milliseconds