Symbol: psci_tos_resident_on