Searched refs:mask12 (Results 1 – 2 of 2) sorted by relevance
32 uint32_t mask12; member
60 mask->mask12); in mt_irq_mask_restore()99 mask->mask12 = mmio_read_32((BASE_GICD_BASE + in mt_irq_mask_all()
Completed in 3 milliseconds