No need to explicitly call __read_64bit_c0_split; __read_64bit_c0_register
will do that itself iff needed.  Fix format string.
    
Signed-off-by: Ralf Baechle <ralf@linux-mips.org>
1 file changed