| 281 | ****************************************************************************/ |
| 282 | |
| 283 | void kmm_map_initialize(void) |
| 284 | { |
| 285 | /* Initialize the architecture specific part */ |
| 286 | |
| 287 | DEBUGVERIFY(up_addrenv_kmap_init()); |
| 288 | |
| 289 | /* Then, the local vmap */ |
| 290 | |
| 291 | g_kmm_map_vpages = gran_initialize((FAR void *)CONFIG_ARCH_KMAP_VBASE, |
| 292 | CONFIG_ARCH_KMAP_NPAGES << MM_PGSHIFT, |
| 293 | MM_PGSHIFT, MM_PGSHIFT); |
| 294 | DEBUGASSERT(g_kmm_map_vpages != NULL); |
| 295 | mm_map_initialize(&g_kmm_map, true); |
| 296 | } |
| 297 | |
| 298 | /**************************************************************************** |
| 299 | * Name: kmm_map_pages |
no test coverage detected