diff options
Diffstat (limited to 'common/vmem.c')
| -rw-r--r-- | common/vmem.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/common/vmem.c b/common/vmem.c index 3ea9ed7..74701d8 100644 --- a/common/vmem.c +++ b/common/vmem.c @@ -99,7 +99,7 @@ vm_t ref_shared_uvmem(struct tcb *t1, struct tcb *t2, vm_t va, vmflags_t flags) if (!m) return 0; - if (!__is_set(m->flags, MR_OWNED)) + if (!is_set(m->flags, MR_OWNED)) return 0; /* loop over all pages in this region */ @@ -182,7 +182,7 @@ stat_t free_uvmem_wrapper(struct vmem *b, pm_t *offset, vm_t vaddr, *status = ret; /* don't free shared pages, unless they're owned */ - if (!__is_set(flags, MR_SHARED) || __is_set(flags, MR_OWNED)) + if (!is_set(flags, MR_SHARED) || is_set(flags, MR_OWNED)) free_page(order, paddr); return (ret == INFO_SEFF) ? OK : ret; |