SMCCC_VERSION_1_0
if (smccc_version == SMCCC_VERSION_1_0)
KASSERT(smccc_version != SMCCC_VERSION_1_0,
smccc_version = SMCCC_VERSION_1_0;