KVM_SMCCC_FILTER_FWD_TO_USER
case KVM_SMCCC_FILTER_FWD_TO_USER:
set_smccc_filter(vm, PSCI_0_2_FN_PSCI_VERSION, 1, KVM_SMCCC_FILTER_FWD_TO_USER);