Symbol: is_psci_0_1