write_gc0_entrylo1
write_gc0_entrylo1(o_entrylo[1]);
write_gc0_entrylo1(0);
write_gc0_entrylo1(old_entrylo[1]);
write_gc0_entrylo1(old_entrylo1);
write_gc0_entrylo1(buf->tlb_lo[1]);
write_gc0_entrylo1(old_entrylo1);
write_gc0_entrylo1(entrylo_user_to_kvm(v));