var cpu_8h =
[
    [ "HasCPUIDFlag", "dc/da7/cpu_8h.html#a48871f194e7e2cfa42e58d731853f314", null ],
    [ "ottd_cpuid", "dc/da7/cpu_8h.html#ad54c65b9b06a0f7da842cdd597d594ef", null ],
    [ "ottd_rdtsc", "dc/da7/cpu_8h.html#a3ecf6d92a9664abed20f74a9face28d2", null ]
];