Apparently it is possible for firmware to indicate that SMCCC_VERSION is
authorkettenis <kettenis@openbsd.org>
Sun, 10 Oct 2021 16:20:37 +0000 (16:20 +0000)
committerkettenis <kettenis@openbsd.org>
Sun, 10 Oct 2021 16:20:37 +0000 (16:20 +0000)
commitfb4391c8ece2accc11e179de77e8e0da1546035d
tree90507cc2254390a63e4e8b755d23f369ff46f4ed
parent3d668c255f6827a5d207253952bd0609df072e4d
Apparently it is possible for firmware to indicate that SMCCC_VERSION is
implemented but have that call return NOT_SUPPORTED.  Makes no sense,
but the SMCCC standard documents this and tells us to treat this as v1.0.
Change the code accordingly.  Turn a few checks that should always be true
into KASSERTs to keep the control flow simple.

ok patrick@
sys/dev/fdt/psci.c