Searched refs:GUEST_TR_AR_BYTES (Results 1 – 4 of 4) sorted by relevance
479 GUEST_TR_AR_BYTES = 0x00004822, enumerator
968 __vmread(GUEST_TR_AR_BYTES, &attr); in vmx_get_segment_register()1107 __vmwrite(GUEST_TR_AR_BYTES, attr); in vmx_set_segment_register()
1281 __vmwrite(GUEST_TR_AR_BYTES, 0x008b); /* 32-bit TSS (busy) */ in construct_vmcs()
910 GUEST_TR_AR_BYTES,
Completed in 19 milliseconds