read_gc0_entrylo1
o_entrylo[1] = read_gc0_entrylo1();
entrylo[1] = read_gc0_entrylo1();
old_entrylo[1] = read_gc0_entrylo1();
old_entrylo1 = read_gc0_entrylo1();
buf->tlb_lo[1] = read_gc0_entrylo1();
old_entrylo1 = read_gc0_entrylo1();
*v = entrylo_kvm_to_user(read_gc0_entrylo1());