Searched refs:tpidr_el1 (Results 1 – 2 of 2) sorted by relevance
166 register_t tpidr_el1; member
112 p->arch.tpidr_el1 = READ_SYSREG(TPIDR_EL1); in ctxt_switch_from()253 WRITE_SYSREG(n->arch.tpidr_el1, TPIDR_EL1); in ctxt_switch_to()
Completed in 4 milliseconds