x86_64_ptob
#define ptob(x) (x86_64_ptob(x))
pmap_enter(info->pmap, info->addr + x86_64_ptob(rel_index), p,
return (x86_64_ptob(ppn));
pmap_enter(info->pmap, info->addr + x86_64_ptob(rel_index), p,
return (x86_64_ptob(ppn));