Searched refs:GUEST_AR_TR (Results 1 – 2 of 2) sorted by relevance
310 GUEST_AR_TR = 0x4822ul, enumerator
185 { 0x1d0ff, GUEST_AR_TR },1216 vmcs_write(GUEST_AR_TR, 0x8b); in init_vmcs_guest()