Symbol: kvm_hyp_reserve