Searched defs:read_32bit_cp1_register (Results 1 – 1 of 1) sorted by relevance
1466 #define read_32bit_cp1_register(source) \ macro1471 #define read_32bit_cp1_register(source) \ macro