Searched refs:TXSTATUS_PSTAT_BIT (Results 1 – 3 of 3) sorted by relevance
285 if (!(__core_reg_get(TXSTATUS) & TXSTATUS_PSTAT_BIT)) in setup_arch()
88 core_reg_write(TXUCT_ID, TXSTATUS_REGNUM, thread, TXSTATUS_PSTAT_BIT); in boot_secondary()
379 #define TXSTATUS_PSTAT_BIT 0x00020000 /* -> Privilege active */ macro