bootm_alloc
va = bootm_alloc(pa, endpa - pa, flags);
static vaddr_t bootm_alloc(paddr_t pa, u_long size, int flags);