}
/* See gasket_interrupt.h for description. */
-void gasket_interrupt_pause(struct gasket_dev *gasket_dev, int enable_pause)
-{
- WARN_ON(!gasket_dev);
-
- if (!gasket_dev->interrupt_data)
- return; /* nothing to do */
-
- if (gasket_dev->interrupt_data->type == PCI_MSI ||
- gasket_dev->interrupt_data->type == PCI_MSIX) {
- /* Nothing to be done for MSI/MSIX just yet. */
- }
-
- if (gasket_dev->interrupt_data->type == PLATFORM_WIRE) {
- /* Nothing to be done for PLATFORM_WIRE */
- }
-}
-EXPORT_SYMBOL(gasket_interrupt_pause);
-
void gasket_interrupt_cleanup(struct gasket_dev *gasket_dev)
{
struct gasket_interrupt_data *interrupt_data =
int gasket_interrupt_system_status(struct gasket_dev *gasket_dev);
-/*
- * Masks interrupts and de-register the handler.
- * After an interrupt pause it is not guaranteed that the chip registers will
- * be accessible anymore, since the chip may be in a power save mode,
- * which means that the interrupt handler (if it were to happen) may not
- * have a way to clear the interrupt condition.
- * @gasket_dev: The Gasket device struct
- * @enable_pause: Whether to pause or unpause the interrupts.
- */
-void gasket_interrupt_pause(struct gasket_dev *gasket_dev, int enable_pause);
-
#endif