Searched refs:vregion_flags (Results 1 - 12 of 12) 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) argument
74 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
75 if (vregion_flags & VREGION_FLAGS_WRITE) {
78 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
81 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/lib/spawndomain/arch/arm/
H A Dspawn_arch.c36 vregion_flags_t vregion_flags = 0; local
39 vregion_flags |= VREGION_FLAGS_READ;
42 vregion_flags |= VREGION_FLAGS_WRITE;
45 vregion_flags |= VREGION_FLAGS_EXECUTE;
48 return vregion_flags;
/barrelfish-master/lib/spawndomain/arch/aarch64/
H A Dspawn_arch.c36 vregion_flags_t vregion_flags = 0; local
39 vregion_flags |= VREGION_FLAGS_READ;
42 vregion_flags |= VREGION_FLAGS_WRITE;
45 vregion_flags |= VREGION_FLAGS_EXECUTE;
48 return vregion_flags;
/barrelfish-master/usr/arrakismon/
H A Dpaging.h219 static inline paging_x86_64_flags_t vregion_to_pmap(vregion_flags_t vregion_flags) argument
224 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
225 if (vregion_flags & VREGION_FLAGS_WRITE) {
228 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
231 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
H A Dguest.c61 static paging_x86_64_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags) argument
66 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
67 if (vregion_flags & VREGION_FLAGS_WRITE) {
70 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
73 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/lib/spawndomain/arch/x86/
H A Dspawn_arch.c40 vregion_flags_t vregion_flags = 0; local
43 vregion_flags |= VREGION_FLAGS_READ;
46 vregion_flags |= VREGION_FLAGS_WRITE;
49 vregion_flags |= VREGION_FLAGS_EXECUTE;
52 return vregion_flags;
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h208 static inline paging_x86_64_flags_t vregion_to_pmap(vregion_flags_t vregion_flags) argument
213 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
214 if (vregion_flags & VREGION_FLAGS_WRITE) {
217 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
220 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/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) argument
262 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
263 if (vregion_flags & VREGION_FLAGS_WRITE) {
266 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
269 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h208 static inline paging_x86_64_flags_t vregion_to_pmap(vregion_flags_t vregion_flags) argument
213 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
214 if (vregion_flags & VREGION_FLAGS_WRITE) {
217 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
220 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/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) argument
398 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
399 if (vregion_flags & VREGION_FLAGS_WRITE) {
402 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
405 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
408 else if (vregion_flags & VREGION_FLAGS_WRITE_COMBINING) {
/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) argument
50 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
51 if (vregion_flags & VREGION_FLAGS_WRITE) {
54 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
57 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
60 else if (vregion_flags & VREGION_FLAGS_WRITE_COMBINING) {
/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) argument
48 if (!(vregion_flags & VREGION_FLAGS_GUARD)) {
49 if (vregion_flags & VREGION_FLAGS_WRITE) {
52 if (vregion_flags & VREGION_FLAGS_EXECUTE) {
55 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
58 else if (vregion_flags & VREGION_FLAGS_WRITE_COMBINING) {

Completed in 126 milliseconds