| 1363 | } |
| 1364 | |
| 1365 | int rt_varea_unmap_page(rt_varea_t varea, void *vaddr) |
| 1366 | { |
| 1367 | void *va_aligned = (void *)RT_ALIGN_DOWN((rt_base_t)vaddr, ARCH_PAGE_SIZE); |
| 1368 | return rt_varea_unmap_range(varea, va_aligned, ARCH_PAGE_SIZE); |
| 1369 | } |
| 1370 | |
| 1371 | /** |
| 1372 | * @note Caller should take care of synchronization of its varea among all the map/unmap operation |