never hit the facility channel. Use the complete 64 bits TSC for the facility
channel in every case. That's because this channel must never be overwritten
even in "flight recorder" mode.<br>
+(5) Support CPUs with scalable frequency.<br>
(5) Integrate LTTng and lttd with LKCD.<br>
(6) Add Xen support.<br>
(7) add gcc -finstrument-functions instrumentation<br>