pmap_lev1map_create
i = pmap_lev1map_create(pmap, cpu_number());
int pmap_lev1map_create(pmap_t, cpuid_t);