Searched refs:GUEST_SEL_DS (Results 1 – 2 of 2) sorted by relevance
201 GUEST_SEL_DS = 0x0806ul, enumerator
102 { MASK(16), GUEST_SEL_DS },1184 vmcs_write(GUEST_SEL_DS, KERNEL_DS); in init_vmcs_guest()