Searched refs:gicd_ctlr (Results 1 – 1 of 1) sorted by relevance
122 uint32_t gicd_ctlr; /* Distributor Control Register */ member457 vgic->gicd_ctlr = 0; in vgic_v3_vminit()1003 *rval = vgic->gicd_ctlr; in dist_ctlr_read()1033 vgic->gicd_ctlr = wval; in dist_ctlr_write()