Searched defs:gicd_ctrl (Results 1 – 1 of 1) sorted by relevance
250 uint32_t gicd_ctrl; in gicv3_dist_enable() local811 const uint32_t gicd_ctrl = gicd_read_4(sc, GICD_CTRL); in gicv3_dist_is_nonsecure() local