PSCI_VERSION_MAJOR
return __SHIFTIN(0, PSCI_VERSION_MAJOR) |
const u_int ver_maj = __SHIFTOUT(ver, PSCI_VERSION_MAJOR);