boot_alloc
if (boot_alloc(addr, size, BO_NO_ALIGN) != addr)
extern void *boot_alloc(void *, size_t, uint_t);