Symbol: __kvm_hyp_vector