Lines Matching defs:WAKECODE_FIXUP
105 #define WAKECODE_FIXUP(offset, type, val) do { \
129 WAKECODE_FIXUP(wakeup_pcb, struct pcb *, pcb);
130 WAKECODE_FIXUP(wakeup_gdt, uint16_t, pcb->pcb_gdt.rd_limit);
131 WAKECODE_FIXUP(wakeup_gdt + 2, uint64_t, pcb->pcb_gdt.rd_base);
239 WAKECODE_FIXUP(resume_beep, uint8_t, (acpi_resume_beep != 0));
240 WAKECODE_FIXUP(reset_video, uint8_t, (acpi_reset_video != 0));
243 WAKECODE_FIXUP(wakeup_efer, uint64_t, rdmsr(MSR_EFER) &
246 WAKECODE_FIXUP(wakeup_cr4, register_t, pcb->pcb_cr4);
248 WAKECODE_FIXUP(wakeup_pcb, struct pcb *, pcb);
249 WAKECODE_FIXUP(wakeup_gdt, uint16_t, pcb->pcb_gdt.rd_limit);
250 WAKECODE_FIXUP(wakeup_gdt + 2, uint64_t, pcb->pcb_gdt.rd_base);
408 WAKECODE_FIXUP((bootgdtdesc + 2), uint32_t,
410 WAKECODE_FIXUP((wakeup_sw32 + 2), uint32_t,
413 WAKECODE_FIXUP((wakeup_sw64 + 1), uint32_t,
415 WAKECODE_FIXUP(wakeup_pagetables, uint32_t, pt4pa);
419 WAKECODE_FIXUP(wakeup_ret, void *, resumectx);
422 WAKECODE_FIXUP(wakeup_cr3, register_t, vtophys(kernel_pmap->pm_pdpt));
424 WAKECODE_FIXUP(wakeup_cr3, register_t, vtophys(kernel_pmap->pm_pdir));