osfmk/i386/copyio.c

137 	pt_entry_t	*updp;
250 		        updp = pmap_pde(pmap, user_base);
255 			pmap_store_pte(kpdp, updp ? *updp : 0);
262 				     (unsigned)user_base, (unsigned)updp,
270 		        updp = pmap_pde(pmap, user_base);
276 			if ((*kpdp & PG_FRAME) != (*updp & PG_FRAME)) {
277 				panic("copyio: user pdp mismatch - kpdp = 0x%qx,  updp = 0x%qx\n", *kpdp, *updp);
596 	pt_entry_t	*updp;
610         updp = pmap_pde(map->pmap, thread->machine.copy_window[window].user_base);
611 	assert(updp);
612 	if (0 == updp) panic("trap: updp 0"); /* XXX DEBUG */
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);