SchedulerIrqHandler.h

/*
 * Copyright (c) 2026, Pedigree Developers
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted.
 */
 
#ifndef PEDIGREE_KERNEL_MACHINE_SCHEDULERIRQHANDLER_H
#define PEDIGREE_KERNEL_MACHINE_SCHEDULERIRQHANDLER_H
#include "pedigree/kernel/compiler.h"
#include "pedigree/kernel/machine/types.h"
#include "pedigree/kernel/processor/state_forward.h"
 
#include <config.h>
 
class EXPORTED_PUBLIC SchedulerIrqHandler {
 public:
  virtual void schedulerIrq(irq_id_t number, InterruptState& state) = 0;
 
 protected:
  virtual ~SchedulerIrqHandler() {}
};
 
#endif