Searched refs:pcb_tpidr_el0 (Results 1 – 2 of 2) sorted by relevance
82 td1->td_pcb->pcb_tpidr_el0 = READ_SPECIALREG(tpidr_el0); in cpu_fork()221 pcb->pcb_tpidr_el0 = (register_t)tls_base; in cpu_set_user_tls()227 pcb->pcb_tpidr_el0 = (register_t)tls_base; in cpu_set_user_tls()
45 uint64_t pcb_tpidr_el0; member