Searched refs:wakeup_gdt (Results 1 – 3 of 3) sorted by relevance
132 WAKECODE_FIXUP(wakeup_gdt, uint16_t, pcb->pcb_gdt.rd_limit); in acpi_wakeup_ap()133 WAKECODE_FIXUP(wakeup_gdt + 2, uint64_t, pcb->pcb_gdt.rd_base); in acpi_wakeup_ap()268 WAKECODE_FIXUP(wakeup_gdt, uint16_t, pcb->pcb_gdt.rd_limit); in acpi_sleep_machdep()269 WAKECODE_FIXUP(wakeup_gdt + 2, uint64_t, pcb->pcb_gdt.rd_base); in acpi_sleep_machdep()
237 lgdt wakeup_gdt - wakeup_start(%rbx)291 wakeup_gdt: label
211 wakeup_gdt: /* not used */ label