| 110 | } |
| 111 | |
| 112 | void rt_varea_pgmgr_insert(rt_varea_t varea, void *page_addr) |
| 113 | { |
| 114 | /* each mapping of page frame in the varea is binding with a reference */ |
| 115 | rt_page_ref_inc(page_addr, 0); |
| 116 | } |
| 117 | |
| 118 | /** |
| 119 | * Private unmapping of address space |