print_tlb_config
static const char *print_tlb_config(struct cpu_info *, int, const char *,
sep = print_tlb_config(ci, CAI_ITLB, "ITLB:", NULL);
sep = print_tlb_config(ci, CAI_ITLB2, "ITLB:", sep);
sep = print_tlb_config(ci, CAI_L1_1GBITLB, "ITLB:", sep);
sep = print_tlb_config(ci, CAI_DTLB, "DTLB:", NULL);
sep = print_tlb_config(ci, CAI_DTLB2, "DTLB:", sep);
sep = print_tlb_config(ci, CAI_L1_1GBDTLB, "DTLB:", sep);
sep = print_tlb_config(ci, CAI_L1_LD_TLB, "Load only TLB:", NULL);
sep = print_tlb_config(ci, CAI_L1_ST_TLB, "Store only TLB:", NULL);
sep = print_tlb_config(ci, CAI_L2_ITLB, "L2 ITLB:", NULL);
sep = print_tlb_config(ci, CAI_L2_ITLB2, "L2 ITLB:", sep);
sep = print_tlb_config(ci, CAI_L2_1GBITLB, "L2 ITLB:", sep);
sep = print_tlb_config(ci, CAI_L2_DTLB, "L2 DTLB:", NULL);
sep = print_tlb_config(ci, CAI_L2_DTLB2, "L2 DTLB:", sep);
sep = print_tlb_config(ci, CAI_L2_1GBDTLB, "L2 DTLB:", sep);
sep = print_tlb_config(ci, CAI_L2_STLB, "L2 STLB:", NULL);
sep = print_tlb_config(ci, CAI_L2_STLB2, "L2 STLB:", sep);
sep = print_tlb_config(ci, CAI_L2_STLB3, "L2 STLB:", sep);