Lines Matching refs:uint32_t
78 void (*intr0)(vaddr_t, uint32_t, uint32_t);
79 void (*intr1)(vaddr_t, uint32_t, uint32_t);
80 void (*intr2)(vaddr_t, uint32_t, uint32_t);
81 void (*intr3)(vaddr_t, uint32_t, uint32_t);
82 void (*intr4)(vaddr_t, uint32_t, uint32_t);
83 void (*intr5)(vaddr_t, uint32_t, uint32_t);
Indexes created Mon Sep 29 21:09:56 GMT 2025