Tracking pages from get_user_pages()

uintptr_t is just an integer as well. If it exists, it's a typedef name for an unsigned integer type which is large enough to store a pointer value. As page frame numbers are smaller than pointers due to coarser granularity, that's obviously not a property which would be needed here but it wouldn't do any harm, either.