first_avail
uint64_t first_avail(uint64_t align, uint64_t min_size, uint64_t type);
s = first_avail(KERN_ALIGN, HOLE_SIZE, SYSTEM_RAM);