Searched refs:GUEST_CODE_SEL (Results 1 - 2 of 2) sorted by relevance

/freebsd-12-stable/stand/userboot/userboot/
H A Delf64_freebsd.c70 #define GUEST_CODE_SEL 1 macro
78 gdtr[GUEST_CODE_SEL] = 0x0020980000000000;
/freebsd-12-stable/lib/libvmmapi/
H A Dvmmapi_freebsd.c54 #define GUEST_CODE_SEL 1 macro
171 gsel = GSEL(GUEST_CODE_SEL, SEL_KPL);
215 gdtr[GUEST_CODE_SEL] = 0x0020980000000000;
298 gsel = GSEL(GUEST_CODE_SEL, SEL_KPL);

Completed in 164 milliseconds