static_assert(sizeof(enum _cache_table_type) == 1);
 #endif
 
+/*
+ * Leaf 0x2 1-byte descriptors' TLB types
+ * To be used for their mappings at intel_tlb_table[]
+ *
+ * Start at 1 since type 0 is reserved for HW byte descriptors which are
+ * not recognized by the kernel; i.e., those without an explicit mapping.
+ */
+enum _tlb_table_type {
+       TLB_INST_4K             = 1,
+       TLB_INST_4M,
+       TLB_INST_2M_4M,
+       TLB_INST_ALL,
+
+       TLB_DATA_4K,
+       TLB_DATA_4M,
+       TLB_DATA_2M_4M,
+       TLB_DATA_4K_4M,
+       TLB_DATA_1G,
+       TLB_DATA_1G_2M_4M,
+
+       TLB_DATA0_4K,
+       TLB_DATA0_4M,
+       TLB_DATA0_2M_4M,
+
+       STLB_4K,
+       STLB_4K_2M,
+} __packed;
+#ifndef __CHECKER__
+static_assert(sizeof(enum _tlb_table_type) == 1);
+#endif
+
 #endif /* _ASM_X86_CPUID_TYPES_H */
 
 }
 #endif
 
-#define TLB_INST_4K            0x01
-#define TLB_INST_4M            0x02
-#define TLB_INST_2M_4M         0x03
-
-#define TLB_INST_ALL           0x05
-#define TLB_INST_1G            0x06
-
-#define TLB_DATA_4K            0x11
-#define TLB_DATA_4M            0x12
-#define TLB_DATA_2M_4M         0x13
-#define TLB_DATA_4K_4M         0x14
-
-#define TLB_DATA_1G            0x16
-#define TLB_DATA_1G_2M_4M      0x17
-
-#define TLB_DATA0_4K           0x21
-#define TLB_DATA0_4M           0x22
-#define TLB_DATA0_2M_4M                0x23
-
-#define STLB_4K                        0x41
-#define STLB_4K_2M             0x42
-
 /*
  * All of leaf 0x2's one-byte TLB descriptors implies the same number of
  * entries for their respective TLB types.  The 0x63 descriptor is an
 
 struct _tlb_table {
        unsigned char descriptor;
-       char tlb_type;
+       enum _tlb_table_type type;
        unsigned int entries;
 };
 
             intel_tlb_table[k].descriptor != 0; k++)
                ;
 
-       if (intel_tlb_table[k].tlb_type == 0)
+       if (intel_tlb_table[k].type == 0)
                return;
 
        entries = intel_tlb_table[k].entries;
-       switch (intel_tlb_table[k].tlb_type) {
+       switch (intel_tlb_table[k].type) {
        case STLB_4K:
                tlb_lli_4k = max(tlb_lli_4k, entries);
                tlb_lld_4k = max(tlb_lld_4k, entries);