Searched refs:mask1 (Results 1 – 2 of 2) sorted by relevance
21 uint32_t mask1; member
38 mask->mask1); in mt_irq_mask_restore()77 mask->mask1 = mmio_read_32((BASE_GICD_BASE + in mt_irq_mask_all()