int kernctl_snapshot_get_produced(int fd, unsigned long *len);
int kernctl_start_session(int fd);
int kernctl_stop_session(int fd);
int kernctl_snapshot_get_produced(int fd, unsigned long *len);
int kernctl_start_session(int fd);
int kernctl_stop_session(int fd);