Searched refs:vregion_to_pmap_flag (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/usr/tests/pagetable/
H A Dprotect.c70 static paging_x86_64_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags) function
97 vregion_to_pmap_flag(flags));
/barrelfish-master/usr/bench/mem_appel/
H A Dvmpup.c257 static paging_x86_64_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags) function
306 vregion_to_pmap_flag(flags), va_hint);
/barrelfish-master/usr/bench/cow/
H A Dpmap_cow.c393 static paging_x86_64_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags) function
450 vregion_to_pmap_flag(VREGION_FLAGS_READ_WRITE), 0, 1, mapping);
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Dpmap.c43 static paging_x86_64_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags) function
274 paging_x86_64_flags_t pmap_flags = vregion_to_pmap_flag(flags);
834 paging_x86_64_flags_t pmap_flags = vregion_to_pmap_flag(flags);
1187 vregion_to_pmap_flag(VREGION_FLAGS_READ), 0, 1, mapping);
/barrelfish-master/lib/barrelfish/arch/x86_32/
H A Dpmap.c45 static paging_x86_32_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags) function
158 paging_x86_32_flags_t pmap_flags = vregion_to_pmap_flag(flags);
657 paging_x86_32_flags_t pmap_flags = vregion_to_pmap_flag(flags);
/barrelfish-master/usr/arrakismon/
H A Dguest.c61 static paging_x86_64_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags) function
687 paging_x86_64_flags_t pmap_flags = vregion_to_pmap_flag(VREGION_FLAGS_ALL);

Completed in 34 milliseconds