implemented ARMget_registers() using ldm from user mode. problem is it takes twice...