PRIdPTR
T_(PRIdPTR),
"lpn %"PRIdPTR" to lpn %"PRIdPTR"\n", slpn, elpn);
"lpn %"PRIdPTR" to lpn %"PRIdPTR"\n", slpn, elpn);
"%"PRIdPTR" pages of physical memory\n",
thunk_printf_debug("pv_get: multiple mapped page ppn %"PRIdPTR", "
"lpn %"PRIdPTR"\n", ppn, lpn);
thunk_printf_debug("pmap_update_page: ppn %"PRIdPTR", pv->pv_map = %p\n",
thunk_printf_debug("pv_release ppn %"PRIdPTR", lpn %"PRIdPTR"\n", ppn, lpn);
PRINT(PRIdPTR, ip);