flush_vmap_cache
flush_vmap_cache(kaddr, PAGE_SIZE);
flush_vmap_cache(kern_vm_start + uaddr32, mapped << PAGE_SHIFT);