123456789101112131415161718 |
- /* SPDX-License-Identifier: MIT */
- /* SPDX-FileCopyrightText: 2023 Nicholas Chin */
- #include <stdint.h>
- #define PCI_CFG_ADDR 0xcf8
- #define PCI_CFG_DATA 0xcfc
- #define PCI_DEV(bus, dev, func) (1u << 31 | bus << 16 | dev << 11 | func << 8)
- uint32_t pci_read_32(uint32_t dev, uint8_t reg);
- void pci_write_32(uint32_t dev, uint8_t reg, uint32_t value);
- int sys_iopl(int level);
- void sys_outb(unsigned int port, uint8_t data);
- void sys_outl(unsigned int port, uint32_t data);
- uint8_t sys_inb(unsigned int port);
- uint32_t sys_inl(unsigned int port);
|