#ifndef _MEI_HW_TXE_H_
#define _MEI_HW_TXE_H_
#include <linux/irqreturn.h>
#include "hw.h"
#include "hw-txe-regs.h"
#define MEI_TXI_RPM_TIMEOUT …
#define TXE_INTR_READINESS_BIT …
#define TXE_INTR_READINESS …
#define TXE_INTR_ALIVENESS_BIT …
#define TXE_INTR_ALIVENESS …
#define TXE_INTR_OUT_DB_BIT …
#define TXE_INTR_OUT_DB …
#define TXE_INTR_IN_READY_BIT …
#define TXE_INTR_IN_READY …
struct mei_txe_hw { … };
#define to_txe_hw(dev) …
static inline struct mei_device *hw_txe_to_mei(struct mei_txe_hw *hw)
{ … }
struct mei_device *mei_txe_dev_init(struct pci_dev *pdev);
irqreturn_t mei_txe_irq_quick_handler(int irq, void *dev_id);
irqreturn_t mei_txe_irq_thread_handler(int irq, void *dev_id);
int mei_txe_aliveness_set_sync(struct mei_device *dev, u32 req);
int mei_txe_setup_satt2(struct mei_device *dev, phys_addr_t addr, u32 range);
#endif