arch_kmap_local_unmap_idx
#ifndef arch_kmap_local_unmap_idx
idx = arch_kmap_local_unmap_idx(kmap_local_idx(), addr);