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