path: root/src/kernel/arch/amd64/driver/rtl8139.h

#pragma once
#include <stdint.h>
void rtl8139_init(uint32_t bdf);
void rtl8139_irq(void);