set_memory_4k
set_memory_4k((unsigned long)__kfence_pool, pool_pages);
__SET_MEMORY_FUNC(set_memory_4k, SET_MEMORY_4K)
set_memory_4k(addr, 1);
int set_memory_4k(unsigned long addr, int numpages);
set_memory_4k((unsigned long)__va(0), 1);
ret = set_memory_4k(vaddr, npages);
set_memory_4k((unsigned long)buf, size / PAGE_SIZE)) {