hati_cpu_punchin
hati_cpu_punchin(cp, va, PROT_READ | PROT_WRITE);
hati_cpu_punchin(cp, (uintptr_t)ntss, PROT_READ);
hati_cpu_punchin(cpu, (uintptr_t)cpu->cpu_gdt, PROT_READ);
hati_cpu_punchin(cpu, (uintptr_t)cpu->cpu_idt, PROT_READ);
hati_cpu_punchin(cpu, (uintptr_t)&kdi_idt, PROT_READ);
hati_cpu_punchin(cpu, va, PROT_READ | PROT_EXEC);
hati_cpu_punchin(cpu, va, PROT_READ);
hati_cpu_punchin(cpu, (uintptr_t)&cpu->cpu_m.mcpu_pad2[0],
hati_cpu_punchin(cpu, (uintptr_t)cpu->cpu_m.mcpu_tss,
hati_cpu_punchin(cpu, va, PROT_READ | PROT_WRITE);
hati_cpu_punchin(cpu, va, PROT_READ | PROT_EXEC);
extern void hati_cpu_punchin(cpu_t *cpu, uintptr_t va, uint_t attrs);