#ifndef _KERNEL_DEVICE_PCI_XHCI_H
#define _KERNEL_DEVICE_PCI_XHCI_H

#include <device/pci_info.h>
#include <libk/std.h>
#include <proc/proc.h>
#include <proc/reschedule.h>

bool pci_xhci_init (struct proc* proc, struct reschedule_ctx* rctx, struct pci_info pci_info);

#endif // _KERNEL_DEVICE_PCI_XHCI_H