Searched refs:rsp0 (Results 1 – 3 of 3) sorted by relevance
1212 amd64_bsp_pcpu_init2(uint64_t rsp0) in amd64_bsp_pcpu_init2() argument1215 PCPU_SET(rsp0, rsp0); in amd64_bsp_pcpu_init2()1294 uint64_t rsp0; in hammer_time() local1586 rsp0 = thread0.td_md.md_stack_base; in hammer_time()1588 rsp0 &= ~0xFul; in hammer_time()1589 PCPU_PTR(common_tss)->tss_rsp0 = rsp0; in hammer_time()1590 amd64_bsp_pcpu_init2(rsp0); in hammer_time()
530 frame->tf_rsp = PCPU_GET(rsp0) - 5 * in trap()
69 void amd64_bsp_pcpu_init2(uint64_t rsp0);