PSCI_VERSION_MINOR
__SHIFTIN(1, PSCI_VERSION_MINOR);
const u_int ver_min = __SHIFTOUT(ver, PSCI_VERSION_MINOR);