System call support in reversible debugging

[Jakob Engblom]

> > Not a black box -- but not a detailed implementation either.
> > Each system call has a specification -- that's all we need to
> > understand.  The specification tells what user-visible external
> > side effects can be expected (eg. this buffer will be filled).
> > Changes that are internal to the kernel do not concern us.
> 
> Thanks. I understand your concern. Does Linux kernel provide such an
> official specification? If so, could you throw me a hint on where to
> get it? Since we have all of the side effects, recording the system
> calls are feasible and trustable.

I guess these have to be the header files specifying the function call
prototypes? 

Or is something else also done for precord?

/jakob