p4d_deref
return (pud_t *) p4d_deref(p4d) + pud_index(address);
vmem_free_pages(p4d_deref(p4dp_get(p4d)), CRST_ALLOC_ORDER, NULL);