Searched defs:write_32bit_cp1_register (Results 1 – 2 of 2) sorted by relevance
1482 #define write_32bit_cp1_register(dest, val) \ macro1487 #define write_32bit_cp1_register(dest, val) \ macro
2371 #define write_32bit_cp1_register(dest, val) \ macro2376 #define write_32bit_cp1_register(dest, val) \ macro