- tsc_ctr_switch is made cpu local - although an x86 specific variable it must be declared globaly as the cpulocal implementation does not allow otherwise
- tsc_ctr_switch is made cpu local - although an x86 specific variable it must be declared globaly as the cpulocal implementation does not allow otherwise