Lines Matching defs:cpu_kh
99 cpu_kcore_hdr_t *cpu_kh = kd->cpu_data;
102 if ((cpu_kh->pdppaddr & I386_KCORE_PAE) == I386_KCORE_PAE)
138 cpu_kcore_hdr_t *cpu_kh;
144 cpu_kh = kd->cpu_data;
151 pde_pa = (cpu_kh->pdppaddr & PTE_FRAME) + (pl2_pi(va) * sizeof(pde));
201 cpu_kcore_hdr_t *cpu_kh;
206 cpu_kh = kd->cpu_data;
207 ramsegs = (void *)((char *)(void *)cpu_kh + ALIGN(sizeof *cpu_kh));
210 for (i = 0; i < cpu_kh->nmemsegs; i++) {
Indexes created Thu Sep 25 16:09:42 GMT 2025