PRIiPTR
T_(PRIiPTR),
thunk_printf_debug("pmap_page_protect page %"PRIiPTR" to prot %d\n", ppn, prot);
thunk_printf_debug("pmap_clear_modify page %"PRIiPTR"\n", ppn);
thunk_printf_debug("pmap_clear_reference page %"PRIiPTR"\n", ppn);
thunk_printf_debug("pmap_is_modified page %"PRIiPTR" : %s\n", ppn, rv?"yes":"no");
thunk_printf_debug("pmap_is_referenced page %"PRIiPTR"\n", ppn);
printf("%s: oops warning unmanaged page %"PRIiPTR" faulted\n",
thunk_printf_debug("%s: tlb fault page lpn %"PRIiPTR"\n",
PRINT(PRIiPTR, ip);