SMCCC_PCI_WRITE
CTASSERT(SMCCC_PCI_WRITE == 0x84000133);
!pci_host_acpi_smccc_has_feature(SMCCC_PCI_WRITE)) {
arm_smccc_invoke(SMCCC_PCI_WRITE, addr, reg, bytes, val, &result);