Module tsc

TSC (Time Stamp Counter) bindings.

Safety

TSC reads are always safe. Requires invariant TSC (verify via CPUID at boot).

Reference

NETWORK_IMPL_GUIDE.md §2.2.1

Functions

• asm_tsc_read 🔒 ^⚠
  Read TSC (non-serializing, ~40 cycles).
• asm_tsc_read_serialized 🔒 ^⚠
  Read TSC with CPUID serialization (~200 cycles).
• read_tsc
  Read TSC (non-serializing).
• read_tsc_serialized
  Read TSC with serialization.