Symbol: pci_smccc_read
sys/arch/arm/acpi/acpi_pci_smccc.c
62
status = pci_smccc_read(PCI_SMCCC_SBDF(ap->ap_seg, b, d, f), reg,
sys/arch/arm/pci/pci_smccc.h
41
int pci_smccc_read(uint32_t, uint32_t, uint32_t, uint32_t *);