Searched refs:gicd_ctlr (Results 1 – 1 of 1) sorted by relevance
170 uint32_t gicd_ctlr = gicd_read32(GICD_CTLR); in pe_init_fiq() local171 gicd_ctlr |= GICD_CTLR_ENABLEGRP0; in pe_init_fiq()172 gicd_write32(GICD_CTLR, gicd_ctlr); in pe_init_fiq()