Searched refs:cpsr (Results 1 – 2 of 2) sorted by relevance
13 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member
652 \texttt{cpsr} register set to values other than \texttt{user}. Specifically it may have any value o…
Completed in 5 milliseconds