h
WCP15Ex 0 1 0 0 0x08E7087A
WCP15Ex 0 1 0 1 0x00000020
WCP15Ex 0 9 1 1 0x4E0001
WCP15Ex 0 9 1 0 0x4F0001
w4 0x4E0000 0xBE00BE00
setpc 0x4E0000
wreg CPSR 0x3F
q