Searched refs:rsp0 (Results 1 – 3 of 3) sorted by relevance
1207 amd64_bsp_pcpu_init2(uint64_t rsp0) in amd64_bsp_pcpu_init2() argument1210 PCPU_SET(rsp0, rsp0); in amd64_bsp_pcpu_init2()1288 uint64_t rsp0; in hammer_time() local1581 rsp0 = thread0.td_md.md_stack_base; in hammer_time()1583 rsp0 &= ~0xFul; in hammer_time()1584 PCPU_PTR(common_tss)->tss_rsp0 = rsp0; in hammer_time()1585 amd64_bsp_pcpu_init2(rsp0); in hammer_time()
499 frame->tf_rsp = PCPU_GET(rsp0) - 5 * in trap()
68 void amd64_bsp_pcpu_init2(uint64_t rsp0);