655 pci_read_config_byte(device_t kdev, int where, u8 *val)  in pci_read_config_byte()  argument
658 	*val = (u8)pci_read_config(kdev, where, 1);  in pci_read_config_byte()
663 pci_write_config_byte(device_t kdev, int where, u8 val)  in pci_write_config_byte()  argument
666 	pci_write_config(kdev, where, val, 1);  in pci_write_config_byte()
671 pci_read_config_word(device_t kdev, int where, uint16_t *val)  in pci_read_config_word()  argument
674 	*val = (uint16_t)pci_read_config(kdev, where, 2);  in pci_read_config_word()
679 pci_write_config_word(device_t kdev, int where, uint16_t val)  in pci_write_config_word()  argument
682 	pci_write_config(kdev, where, val, 2);  in pci_write_config_word()
687 pci_read_config_dword(device_t kdev, int where, uint32_t *val)  in pci_read_config_dword()  argument
690 	*val = (uint32_t)pci_read_config(kdev, where, 4);  in pci_read_config_dword()
695 pci_write_config_dword(device_t kdev, int where, uint32_t val)  in pci_write_config_dword()  argument
698 	pci_write_config(kdev, where, val, 4);  in pci_write_config_dword()