read_c0_entrylo1
entrylo1 = read_c0_entrylo1();
pr_info("EntryLo1 : %0*lx\n", field, read_c0_entrylo1());