IrqDiagnosticRenderer.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 IRQDIAGNOSTICRENDERER_H
#define IRQDIAGNOSTICRENDERER_H
 
#include "pedigree/kernel/machine/IrqManager.h"
#include "pedigree/kernel/utilities/StaticString.h"
 
using IrqDiagnosticString = StaticString<2048>;
 
class IrqDiagnosticRenderer {
 public:
  static void render(const IrqLineDiagnosticSnapshot& snapshot, IrqDiagnosticString& line);
};
 
#endif