gicv5_irs_extend_ist
gicv5_irs_extend_ist(device_get_parent(dev), dev, lpi);
void gicv5_irs_extend_ist(device_t, device_t, u_int);