Searched refs:mask4 (Results 1 – 2 of 2) sorted by relevance
24 uint32_t mask4; member
44 mask->mask4); in mt_irq_mask_restore()83 mask->mask4 = mmio_read_32((BASE_GICD_BASE + in mt_irq_mask_all()
Completed in 3 milliseconds