pci_sun4v_config_put
pci_sun4v_config_put(devhandle,
int pci_sun4v_config_put(unsigned long devhandle,