Searched refs:rsp0 (Results 1 – 2 of 2) sorted by relevance
| /xnu-10002.1.13/osfmk/i386/ | ||
| H A D | tss.h | 117 uint64_t rsp0; /* stack pointer for CPL0 */ member |
| H A D | pcb_native.c | 570 current_ktss64()->rsp0 = cdp->cpu_desc_index.cdi_sstku; in act_machine_switch_pcb() |