Adding support for the modal registers (irq/fiq etc) is one of the things I'm going to try to take into account while I'm fixing the current mess with accessing the regcache. R.