Searched refs:GICD_SGIR (Results 1 – 2 of 2) sorted by relevance
125 #define GICD_SGIR 0xF00 macro129 io_write32(get_gicd_base() + GICD_SGIR, in raise_sgi0_as_secure()
50 #define GICD_SGIR (0xF00) macro836 io_write32(gd->gicd_base + GICD_SGIR, mask); in gic_it_raise_sgi()