Searched refs:rsp0 (Results 1 – 3 of 3) sorted by relevance
65 void amd64_bsp_pcpu_init2(uint64_t rsp0);
1571 amd64_bsp_pcpu_init2(uint64_t rsp0) in amd64_bsp_pcpu_init2() argument1574 PCPU_SET(rsp0, rsp0); in amd64_bsp_pcpu_init2()1624 u_int64_t rsp0; in hammer_time() local1904 rsp0 = thread0.td_md.md_stack_base; in hammer_time()1906 rsp0 &= ~0xFul; in hammer_time()1907 PCPU_PTR(common_tss)->tss_rsp0 = rsp0; in hammer_time()1908 amd64_bsp_pcpu_init2(rsp0); in hammer_time()
453 frame->tf_rsp = PCPU_GET(rsp0) - 5 * in trap()