imask_t
volatile imask_t un1_ipending;
#define NVIRQ (sizeof(imask_t)*8) /* 32 virtual IRQs */
#define HWIRQ_MASK (~(imask_t)0 >> 1)
__CTASSERT(sizeof(imask_t) == sizeof(uint64_t));
imask_t newmask[NIPL];
imask_t vpend;
imask_t v_imen = PIC_VIRQ_TO_MASK(virq);
imask_t virq_mask = HWIRQ_MASK;
static imask_t imask[NIPL];
imask_t is_mask;