/* As with pcpu_pre_unmap_flush(), TLB flushing also is done at once for the whole region.  */
static void pcpu_post_unmap_tlb_flush(struct pcpu_chunk *chunk, int page_start, int page_end)
/* As with pcpu_pre_unmap_flush(), TLB flushing also is done at once for the whole region.  */
static void pcpu_post_unmap_tlb_flush(struct pcpu_chunk *chunk, int page_start, int page_end)
{
	flush_tlb_kernel_range(
		pcpu_chunk_addr(chunk, pcpu_first_unit_cpu, page_start),
		pcpu_chunk_addr(chunk, pcpu_last_unit_cpu, page_end));
}