GIC_DEFAULT_ICFGR_INIT
#ifndef GIC_DEFAULT_ICFGR_INIT
gic_d_write_4(sc, GICD_ICFGR(i), GIC_DEFAULT_ICFGR_INIT);