kmap_local_idx
current->kmap_ctrl.pteval[kmap_local_idx()] = pteval;
idx = arch_kmap_local_unmap_idx(kmap_local_idx(), addr);
current->kmap_ctrl.pteval[kmap_local_idx()] = __pte(0);