Searched refs:gic_dist_writew (Results 1 – 1 of 1) sorted by relevance
512 static void gic_dist_writew(void *opaque, hwaddr offset, in gic_dist_writew() function557 gic_dist_writew(opaque, offset, value & 0xffff); in gic_dist_writel()558 gic_dist_writew(opaque, offset + 2, value >> 16); in gic_dist_writel()569 gic_dist_writew,