record_read - Linux

1235

*last_in = record_read(&rec_map, last_switch_in_stamp);

1236

*id = record_read(&rec_map, current_context_index);

1237

*total = record_read(&rec_map, total_runtime);

1239

if (record_read(&rec_map, last_switch_in_stamp) == *last_in &&

1240

record_read(&rec_map, current_context_index) == *id &&

1241

record_read(&rec_map, total_runtime) == *total)