.set IC0_BASE, 0x7e002000
.set IC0_VADDR, 0x7e002030

.set IC1_BASE, 0x7e002800
.set IC1_VADDR, 0x7e002830

.set GPFSEL1, 0x7e200004
.set GPSET0, 0x7e20001c
.set GPCLR0, 0x7e200028

.set ST_CS, 0x7e003000