kmap_to_page
pages[index] = kmap_to_page((void *)p);
vm_page = kmap_to_page(buf);
pages[i] = kmap_to_page((void *)p);
page = kmap_to_page(buf);
static inline struct page *kmap_to_page(void *addr);
(*pages)[index] = kmap_to_page(p);