> + * # EAX: (Virtual) TSC frequency in kHz. > + * # EBX: (Virtual) Bus (local APIC timer) frequency in kHz. > + * # ECX, EDX: Reserved (must be zero).
Can someone from Broadcom please speak up as to what a non-ECX value signifies for their HV? (Asking because I see a value of 2, not a must-be-zero.) -- C.
