Searched refs:TXUPC_ID (Results 1 – 2 of 2) sorted by relevance
81 core_reg_write(TXUPC_ID, 0, thread, (unsigned int)secondary_startup); in boot_secondary()82 core_reg_write(TXUPC_ID, 1, thread, 0); in boot_secondary()
37 #define TXUPC_ID 0x5 /* PC registers */ macro