Symbol: psci_call_hvc