Searched refs:mask10 (Results 1 – 2 of 2) sorted by relevance
30 uint32_t mask10; member
56 mask->mask10); in mt_irq_mask_restore()95 mask->mask10 = mmio_read_32((BASE_GICD_BASE + in mt_irq_mask_all()