PRIxBSH
printf(": 0x%" PRIxBSH " 0x%" PRIxBSH " 0x%x 0x%x\n", sc->sc_bsh,
"data %"PRIxBSH" addr %"PRIxBSH", sc %p\n",
printf("%s: freeing handle %#"PRIxBSH" for %#"PRIxBUSSIZE"\n",
panic("%s: don't know how to unmap %#"PRIxBSH, __S(__BS(unmap)), h);