is_kvm_arm_initialised
bool is_kvm_arm_initialised(void);
is_protected_kvm_enabled() || !is_kvm_arm_initialised());
if (!is_protected_kvm_enabled() || !is_kvm_arm_initialised())