Lines Matching refs:WAKECODE_FIXUP
107 #define WAKECODE_FIXUP(offset, type, val) do { \
131 WAKECODE_FIXUP(wakeup_pcb, struct pcb *, pcb);
132 WAKECODE_FIXUP(wakeup_gdt, uint16_t, pcb->pcb_gdt.rd_limit);
133 WAKECODE_FIXUP(wakeup_gdt + 2, uint64_t, pcb->pcb_gdt.rd_base);
256 WAKECODE_FIXUP(resume_beep, uint8_t, (acpi_resume_beep != 0));
257 WAKECODE_FIXUP(reset_video, uint8_t, (acpi_reset_video != 0));
260 WAKECODE_FIXUP(wakeup_efer, uint64_t, rdmsr(MSR_EFER) &
264 WAKECODE_FIXUP(wakeup_efer, uint64_t, rdmsr(MSR_EFER));
265 WAKECODE_FIXUP(wakeup_cr4, register_t, pcb->pcb_cr4);
267 WAKECODE_FIXUP(wakeup_pcb, struct pcb *, pcb);
268 WAKECODE_FIXUP(wakeup_gdt, uint16_t, pcb->pcb_gdt.rd_limit);
269 WAKECODE_FIXUP(wakeup_gdt + 2, uint64_t, pcb->pcb_gdt.rd_base);
448 WAKECODE_FIXUP((bootgdtdesc + 2), uint32_t,
450 WAKECODE_FIXUP((wakeup_sw32 + 2), uint32_t,
453 WAKECODE_FIXUP((wakeup_sw64 + 1), uint32_t,
455 WAKECODE_FIXUP(wakeup_pagetables, uint32_t, la57 ? (pt5pa | 0x1) :
460 WAKECODE_FIXUP(wakeup_ret, void *, resumectx);
462 WAKECODE_FIXUP(wakeup_cr3, register_t, pmap_get_kcr3());