Searched refs:GICD_ISPENDR (Results 1 – 1 of 1) sorted by relevance
44 #define GICD_ISPENDR(n) (0x200 + (n) * 4) macro763 io_write32(gd->gicd_base + GICD_ISPENDR(idx), mask); in gic_it_set_pending()