diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2022-11-13 15:15:22 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2022-11-13 15:15:22 +0200 |
| commit | e6dc962ef7758c438039d7f8ac7e2bf3ebcb5c10 (patch) | |
| tree | 9484a801bc205e0e5f921ebeaba0a15e4d561400 /common/vmem.c | |
| parent | b36e3b83b402ee054c319f0472b16a2bd64bba7e (diff) | |
| download | kmi-e6dc962ef7758c438039d7f8ac7e2bf3ebcb5c10.tar.gz kmi-e6dc962ef7758c438039d7f8ac7e2bf3ebcb5c10.zip | |
improve documentation on new features
Diffstat (limited to 'common/vmem.c')
| -rw-r--r-- | common/vmem.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/common/vmem.c b/common/vmem.c index 458624c..56bc01a 100644 --- a/common/vmem.c +++ b/common/vmem.c @@ -140,6 +140,8 @@ vm_t alloc_fixed_uvmem(struct tcb *t, vm_t start, size_t size, vmflags_t flags) const vm_t v = alloc_fixed_region(&t->sp_r, start, size, &size, flags); const vm_t w = map_allocd_region(t->proc.vmem, v, size, flags, &status); + /** @todo should probably update rpc maps even if the thread that does + * the allocation isn't in an ipc? */ if (is_rpc(t) && status == INFO_SEFF) clone_rpc_maps(t); @@ -273,6 +275,9 @@ stat_t free_uvmem_wrapper(struct vmem *b, pm_t *offset, vm_t vaddr, if (order != v_order) return INFO_TRGN; + /** @todo we might need to cause an ipi to flush the tlb for other + * cores */ + stat_t *status = (stat_t *)data, ret; ret = unmap_vpage(b, vaddr); if (status) |