x86_trunc_page
pa = startpa = x86_trunc_page(addr);
x86_trunc_page(basemem * 1024));
x86_trunc_page(mbi->mi_mem_lower * 1024), MULTIBOOT_INFO_MAGIC);
x86_trunc_page(mbp->mbp_basemem * 1024),
pa = x86_trunc_page(bpa);
va = x86_trunc_page(bsh);
va = x86_trunc_page(bsh);
paddr_t pgpa = x86_trunc_page(pa);