Searched refs:gicd_ctrl (Results 1 – 1 of 1) sorted by relevance
250 uint32_t gicd_ctrl; in gicv3_dist_enable() local254 gicd_ctrl = gicd_read_4(sc, GICD_CTRL); in gicv3_dist_enable()255 gicd_ctrl &= ~(GICD_CTRL_EnableGrp1A | GICD_CTRL_ARE_NS); in gicv3_dist_enable()256 gicd_write_4(sc, GICD_CTRL, gicd_ctrl); in gicv3_dist_enable()285 gicd_ctrl = GICD_CTRL_EnableGrp1A | GICD_CTRL_ARE_NS; in gicv3_dist_enable()286 gicd_write_4(sc, GICD_CTRL, gicd_ctrl); in gicv3_dist_enable()811 const uint32_t gicd_ctrl = gicd_read_4(sc, GICD_CTRL); in gicv3_dist_is_nonsecure() local817 return (gicd_ctrl & GICD_CTRL_DS) == 0; in gicv3_dist_is_nonsecure()