Symbol: pci_smccc_version
sys/arch/arm/acpi/acpi_pci_machdep.c
595
uint32_t ver = pci_smccc_version();
sys/arch/arm/acpi/acpi_pci_smccc.c
103
ver = pci_smccc_version();
sys/arch/arm/pci/pci_smccc.h
39
int pci_smccc_version(void);