entrylo_kvm_to_user
*v = entrylo_kvm_to_user(read_gc0_entrylo0());
*v = entrylo_kvm_to_user(read_gc0_entrylo1());