kernel/include/config/VMAP_PFN