osfmk/x86_64/pmap.c

155 #define DBG(x...)	kprintf("DBG: " x)
390 	    kprintf("trying to do SYSMAP idx %d %p\n", i,
392 	    kprintf("cpu_pmap %p\n", current_cpu_datap()->cpu_pmap);
393 	    kprintf("mapwindow %p\n", current_cpu_datap()->cpu_pmap->mapwindow);
394 	    kprintf("two stuff %p %p\n",
416 			kprintf("invalid hash %d, must be ((2^N)-1), "
463 	kprintf("Kernel virtual space from 0x%lx to 0x%lx.\n",
465 	kprintf("Available physical space from 0x%llx to 0x%llx\n",
478 		kprintf("Kernel not sharing user map\n");
482 		kprintf("Kernel traces for pmap operations enabled\n");
926 		kprintf("Kernel text is 2MB aligned");
931 			kprintf(" but will be mapped with 4K pages\n");
933 			kprintf(" and will be mapped with 2M pages\n");
938 		kprintf("Kernel text %p-%p to be write-protected\n",
1021 		kprintf("Const DATA misaligned 0x%lx 0x%lx\n", sconstdata, econstdata);
1027 		kprintf("Const DATA incorrect size 0x%lx 0x%lx 0x%lx 0x%lx\n", sconstdata, econstdata, sdata, edata);
1032 		kprintf("Marking const DATA read-only\n");
1039 			kprintf("DATA misaligned, 0x%lx, 0x%lx\n", sdata, edata);
1049 			kprintf("Missing data mapping 0x%lx 0x%lx 0x%lx\n", dva, sdata, edata);
1171 			kprintf("pmap_is_empty(%p,0x%llx,0x%llx): "
2543 					kprintf("W+X PTE at 0x%lx, P4: 0x%llx, P3: 0x%llx, P2: 0x%llx, PT: 0x%llx, VP: %u\n", cv, *pmap64_pml4(ipmap, cv), *pmap64_pdpt(ipmap, cv), *pmap64_pde(ipmap, cv), *ptep, pmap_valid_page((ppnum_t)(i386_btop(pte_to_pa(*ptep)))));
2550 	kprintf("Completed pmap scan\n");
2585 			kprintf("W+X map entry at address 0x%lx\n", cv);
2603 					kprintf("PTE/map entry permissions mismatch at address 0x%lx, pte: 0x%llx, protection: 0x%x\n", pcv, *ptep, prot);