write_gc0_entrylo0
write_gc0_entrylo0(o_entrylo[0]);
write_gc0_entrylo0(0);
write_gc0_entrylo0(old_entrylo[0]);
write_gc0_entrylo0(old_entrylo0);
write_gc0_entrylo0(buf->tlb_lo[0]);
write_gc0_entrylo0(old_entrylo0);
write_gc0_entrylo0(entrylo_user_to_kvm(v));