ARM64_GET_SVE_VL
case ARM64_GET_SVE_VL:
if (sysarch(ARM64_GET_SVE_VL, &child_vl) != 0)
ATF_REQUIRE(sysarch(ARM64_GET_SVE_VL, &vl) == 0);