gic_write_lpir
#define gic_write_lpir(v, c) writel_relaxed(lower_32_bits(v), c)
#define gic_write_lpir(v, c) writeq_relaxed(v, c)