cpu_kcore_4mbseg
struct cpu_kcore_4mbseg *ktlb;
ktlb = (struct cpu_kcore_4mbseg *)
sz += kernel_dtlb_slots * sizeof(struct cpu_kcore_4mbseg);
struct cpu_kcore_4mbseg ktlb;
+ kernel_dtlb_slots * sizeof(struct cpu_kcore_4mbseg);