Symbol: psci_conduit_is_smc
sys/arm64/arm64/rsi.c
152
if (!psci_conduit_is_smc())
sys/dev/psci/psci.h
48
bool psci_conduit_is_smc(void);