Searched refs:GUEST_CODE_SEL (Results 1 – 2 of 2) sorted by relevance
50 #define GUEST_CODE_SEL 1 macro167 gsel = GSEL(GUEST_CODE_SEL, SEL_KPL); in vm_setup_freebsd_registers_i386()211 gdtr[GUEST_CODE_SEL] = 0x0020980000000000; in vm_setup_freebsd_gdt()294 gsel = GSEL(GUEST_CODE_SEL, SEL_KPL); in vm_setup_freebsd_registers()
56 #define GUEST_CODE_SEL 1 macro64 gdt[GUEST_CODE_SEL] = (struct user_segment_descriptor) { in setup_freebsd_gdt()