read_gc0_entrylo0
o_entrylo[0] = read_gc0_entrylo0();
entrylo[0] = read_gc0_entrylo0();
old_entrylo[0] = read_gc0_entrylo0();
old_entrylo0 = read_gc0_entrylo0();
buf->tlb_lo[0] = read_gc0_entrylo0();
old_entrylo0 = read_gc0_entrylo0();
*v = entrylo_kvm_to_user(read_gc0_entrylo0());