Searched refs:TXPRIVEXT_REGNUM (Results 1 – 2 of 2) sorted by relevance
91 val = core_reg_read(TXUCT_ID, TXPRIVEXT_REGNUM, thread); in boot_secondary()92 core_reg_write(TXUCT_ID, TXPRIVEXT_REGNUM, thread, val & ~0x80); in boot_secondary()
414 #define TXPRIVEXT_REGNUM 29 macro