Searched refs:contextidr (Results 1 – 2 of 2) sorted by relevance
222 uint32_t contextidr; member
107 p->arch.contextidr = READ_SYSREG(CONTEXTIDR_EL1); in ctxt_switch_from()241 WRITE_SYSREG(n->arch.contextidr, CONTEXTIDR_EL1); in ctxt_switch_to()
Completed in 5 milliseconds