setgdt
setgdt(GAPM32CODE_SEL, (void *)ch32, ap->apm_code_len,
setgdt(GAPM16CODE_SEL, (void *)ch16, ap->apm_code16_len,
setgdt(GAPMDATA_SEL, (void *)dh, ap->apm_data_len, SDT_MEMRWA,
setgdt(GAPM32CODE_SEL, NULL, 0, 0, 0, 0, 0);
setgdt(GAPM16CODE_SEL, NULL, 0, 0, 0, 0, 0);
setgdt(GAPMDATA_SEL, NULL, 0, 0, 0, 0, 0);
setgdt(GBIOS32_SEL, (caddr_t)va, BIOS32_END, SDT_MEMERA, SEL_KPL, 1, 0);
void setgdt(int, void *, size_t, int, int, int, int);