typedef volatile struct __attribute__((packed)) {
	uint32_t DCTLR;			/* 0x0 Distributor Control register */
	const uint32_t DTYPER;		/* 0x4 Controller type register */
	const uint32_t DIIDR;		/* 0x8 Implementer identification register */
	uint32_t _reserved0[29] 	/* 0xC - 0x80; reserved and implementation-defined */
	uint32_t DIGROUPR[32];		/* 0x80 - 0xFC Interrupt group registers */
	uint32_t DISENABLER[32];	/* 0x100-0x17C Interrupt set-enable registers */
	uint32_t DICENABLER[32];	/* 0x180 - 0x1FC Interrupt clear-enable registers */
	uint32_t DISPENDR[32];		/* 0x200 - 0x27C Interrupt set-pending registers */
	uint32_t DICPENDR[32];		/* 0x280 - 0x2FC Interrupt clear-pending registers */