psci_power_state_is_valid
if (!psci_power_state_is_valid(state)) {
if (!psci_power_state_is_valid(*state)) {
bool psci_power_state_is_valid(u32 state);