This series fixes a couple of issues with the MIPS GIC driver and alsovastly simplifies it by removing the separate dev domain.

The first patch fixes a long standing issue with IPI reservation.The second patch reqorks the driver to simplify it by removing theoverly complex device IRQ domain.The third fixes an issue seen in v4.11 which broke the Malta platformslegacy IRQ controller.

These patches have been tested on multiple MIPS platforms includingMalta, Boston, Ci40 and SEAD3.