entrylo_user_to_kvm
write_gc0_entrylo0(entrylo_user_to_kvm(v));
write_gc0_entrylo1(entrylo_user_to_kvm(v));