pci_smccc_write
status = pci_smccc_write(PCI_SMCCC_SBDF(ap->ap_seg, b, d, f), reg,
int pci_smccc_write(uint32_t, uint32_t, uint32_t, uint32_t);