Maybe just page_alloc here instead?