Lines Matching defs:kpdp
138 pt_entry_t *kpdp;
252 kpdp = current_cpu_datap()->cpu_copywindow_pdp;
253 kpdp += window_index;
255 pmap_store_pte(kpdp, updp ? *updp : 0);
263 (unsigned)kpdp, 0);
272 kpdp = current_cpu_datap()->cpu_copywindow_pdp;
274 kpdp += window_index;
276 if ((*kpdp & PG_FRAME) != (*updp & PG_FRAME)) {
277 panic("copyio: user pdp mismatch - kpdp = 0x%qx, updp = 0x%qx\n", *kpdp, *updp);
597 pt_entry_t *kpdp;
613 kpdp = current_cpu_datap()->cpu_copywindow_pdp;
614 kpdp += window;
617 if (*kpdp && (*kpdp & PG_FRAME) != (*updp & PG_FRAME))
618 panic("kernel_fault: user pdp doesn't match - updp = 0x%qx, kpdp = 0x%qx\n", *updp, *kpdp);
620 pmap_store_pte(kpdp, *updp);