move post-syscall record updating into do_syscall