#include <linux/platform_device.h>
#include <linux/sched/clock.h>
#include "v3d_drv.h"
#include "v3d_regs.h"
#include "v3d_trace.h"
#define V3D_CORE_IRQS(ver) …
#define V3D_HUB_IRQS(ver) …
static irqreturn_t
v3d_hub_irq(int irq, void *arg);
static void
v3d_overflow_mem_work(struct work_struct *work)
{ … }
static irqreturn_t
v3d_irq(int irq, void *arg)
{ … }
static irqreturn_t
v3d_hub_irq(int irq, void *arg)
{ … }
int
v3d_irq_init(struct v3d_dev *v3d)
{ … }
void
v3d_irq_enable(struct v3d_dev *v3d)
{ … }
void
v3d_irq_disable(struct v3d_dev *v3d)
{ … }
void v3d_irq_reset(struct v3d_dev *v3d)
{ … }