sync_global_pgds
sync_global_pgds(start, end - 1);
sync_global_pgds(start, end);
sync_global_pgds(vaddr_start, vaddr_end - 1);