CB_MAX_KPAGES
#define CB_MAX_BPAGES (CB_MAX_KPAGES + 1)
dtlb_index = cb_dents - CB_MAX_KPAGES - 1;
dtlb_index = cb_dents - CB_MAX_KPAGES - CB_MAX_BPAGES - 1;