Searched defs:read_32bit_cp1_register (Results 1 – 2 of 2) sorted by relevance
1480 #define read_32bit_cp1_register(source) \ macro1485 #define read_32bit_cp1_register(source) \ macro
2369 #define read_32bit_cp1_register(source) \ macro2374 #define read_32bit_cp1_register(source) \ macro