CAI_L2_1GBDTLB
cai = &ci->ci_cinfo[CAI_L2_1GBDTLB];
sep = print_tlb_config(ci, CAI_L2_1GBDTLB, "L2 DTLB:", sep);