___read_64bit_c0_register
___read_64bit_c0_register(source, sel, __volatile__)
___read_64bit_c0_register(source, sel,)