PT_CPUID_LEAVES
for (i = 0; i < PT_CPUID_LEAVES; i++) {
u32 caps[PT_CPUID_REGS_NUM * PT_CPUID_LEAVES];