* high-precision-timing APIs on yet other platforms. * The basic data type is instr_time, which all callers should treat as an * opaque typedef. instr_time can store either an absolute time (of * ...