Searched refs:xPSR (Results 1 – 3 of 3) sorted by relevance
44 uint32_t xPSR; /* Program Status Registers. */ member
104 SPMLOG_DBGMSGVAL(" xPSR: ", ctx->xPSR); in dump_exception_info()221 ctx->xPSR = __get_xPSR(); in store_and_dump_context()
388 volatile xPSR_Type xPSR; in TC_CoreInstr_RRX() local391 xPSR.w = __get_xPSR(); in TC_CoreInstr_RRX()393 ASSERT_TRUE(result == (0x40000001 | (uint32_t)(xPSR.b.C << 31))); in TC_CoreInstr_RRX()