Searched refs:GBIOS32_SEL (Results 1 – 2 of 2) sorted by relevance
224 #define GBIOS32_SEL 15 /* spare slot for 32 bit BIOS calls */ macro
676 setgdt(GBIOS32_SEL, (caddr_t)va, BIOS32_END, SDT_MEMERA, SEL_KPL, 1, 0); in bios32_service()693 e->segment = GSEL(GBIOS32_SEL, SEL_KPL); in bios32_service()