rb_time_read
(unsigned long long)({rb_time_read(&cpu_buffer->write_stamp, &write_stamp); write_stamp;}),
rb_time_read(&cpu_buffer->before_stamp, &info->before);
rb_time_read(&cpu_buffer->write_stamp, &info->after);
rb_time_read(&cpu_buffer->before_stamp, &info->before);
/*E*/ rb_time_read(&cpu_buffer->write_stamp, &info->after);
rb_time_read(&cpu_buffer->write_stamp, &ts);