update userspace doc

[lttv.git] / ltt / branches / poly / doc / developer / format.html

diff --git a/ltt/branches/poly/doc/developer/format.html b/ltt/branches/poly/doc/developer/format.html
index 0fa8c4a57a96bc41c5aa866dc4ac6ef4ecb4aad9..a211ace1e9c6e9e6370e0aa77310df4901aedf7f 100644 (file)
--- a/ltt/branches/poly/doc/developer/format.html
+++ b/ltt/branches/poly/doc/developer/format.html
@@ -24,7 +24,7 @@ foo/
 |-- eventdefs
 |   |-- core.xml
 |   |-- fs.xml
-|              |-- ipc.xml
+|   |-- ipc.xml
 |   |-- kernel.xml
 |   |-- memory.xml
 |   |-- network.xml
@@ -125,20 +125,12 @@ The block start/end header
 <PRE><TT>
 begin
        * the beginning of buffer information
-       timestamp
-               * Used only when no TSC is available.
-               uint32 seconds
-               uint32 microseconds
        uint64 cycle_count
                * TSC at the beginning of the buffer
        uint64 freq
                * frequency of the CPUs at the beginning of the buffer.
 end
        * the end of buffer information
-       timestamp
-               * Used only when no TSC is available.
-               uint32 seconds
-               uint32 microseconds
        uint64 cycle_count
                * TSC at the beginning of the buffer
        uint64 freq
@@ -181,15 +173,9 @@ uint8 has_alignment
        * Is the information in this trace aligned ?
                Yes (1) -> aligned on min(arch size, atomic data size).
                No (0) -> data is packed.
-uint8 has_tsc
-       * Does the traced machine has a working TSC ?
-               Yes (1) -> event time is calculated from :
-                       trace_start_time + ((event_tsc - trace_start_tsc) * freq)
-               No (0) -> event time is calculated from :
-                       trace_start_time 
-                       + (buffer start timestamp - trace start_monotonic) 
-                       + (event_time_delta)
-                       (not supported)
+uint328 freq_scale
+               event time is always calculated from :
+                       trace_start_time + ((event_tsc - trace_start_tsc) * (freq / freq_scale))
 uint64 start_freq
        * CPUs clock frequency at the beginnig of the trace.
 uint64 start_tsc
@@ -222,9 +208,6 @@ Event header :
        uint64 timestamp }
        * if has_heartbeat : 32 LSB of the cycle counter at the event record time.
        * else : 64 bits complete cycle counter.
-       * note : if there is no working TSC (has_tsc == 0), then this field contains
-         either the complete monotonically increasing time or the time delta from the
-               previous heartbeat event. (unsupported)
 uint8 facility_id
        * Numerical ID of the facility corresponding to the event. See the facility
          tracefile to know which facility ID matches which facility name and