Added user_regs_get/set functions in c code. This way we abstract the
calling convention separately.