Searched refs:read_write (Results 1 - 10 of 10) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dpaging.h92 uint64_t read_write :1; member in struct:x86_64_pdir_entry::__anon333
113 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon334
131 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon335
149 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon336
209 tmp.d.read_write = 1;
266 tmp.huge.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
296 tmp.large.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
326 tmp.base.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
354 tmp.huge.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
382 tmp.large.read_write
[all...]
H A Dguest.c770 tmp.huge.read_write = 1;
/barrelfish-master/kernel/include/target/x86_32/
H A Dpaging_kernel_target.h87 uint64_t read_write :1; member in struct:x86_32_pdir_entry::__anon102
108 uint64_t read_write :1; member in struct:x86_32_ptable_entry::__anon103
124 uint64_t read_write :1; member in struct:x86_32_ptable_entry::__anon104
147 uint32_t read_write :1; member in struct:x86_32_pdir_entry::__anon105
166 uint32_t read_write :1; member in struct:x86_32_ptable_entry::__anon106
181 uint32_t read_write :1; member in struct:x86_32_ptable_entry::__anon107
242 tmp.d.read_write = 1;
281 tmp.large.read_write = bitmap & X86_32_PTABLE_READ_WRITE ? 1 : 0;
318 tmp.base.read_write = bitmap & X86_32_PTABLE_READ_WRITE ? 1 : 0;
347 tmp.base.read_write
[all...]
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h85 uint64_t read_write :1; member in struct:x86_64_pdir_entry::__anon454
102 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon455
120 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon456
138 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon457
198 tmp.d.read_write = 1;
255 tmp.huge.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
285 tmp.large.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
315 tmp.base.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
343 tmp.huge.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
371 tmp.large.read_write
[all...]
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h83 uint64_t read_write :1; member in struct:x86_64_pdir_entry::__anon108
102 uint64_t read_write :1; member in struct:x86_64_ept_pdir_entry::__anon109
122 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon110
141 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon111
160 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon112
182 uint64_t read_write :1; // 1 member in struct:x86_64_ept_ptable_entry::__anon113
198 uint64_t read_write :1; // 1 member in struct:x86_64_ept_ptable_entry::__anon114
214 uint64_t read_write :1; // 1 member in struct:x86_64_ept_ptable_entry::__anon115
276 tmp.d.read_write = 1;
290 tmp.d.read_write
[all...]
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h85 uint64_t read_write :1; member in struct:x86_64_pdir_entry::__anon283
102 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon284
120 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon285
138 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon286
198 tmp.d.read_write = 1;
255 tmp.huge.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
285 tmp.large.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
315 tmp.base.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
343 tmp.huge.read_write = bitmap & X86_64_PTABLE_READ_WRITE ? 1 : 0;
371 tmp.large.read_write
[all...]
/barrelfish-master/lib/demandpaging/include/
H A Ddp_internal.h102 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon256
120 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon257
138 uint64_t read_write :1; member in struct:x86_64_ptable_entry::__anon258
/barrelfish-master/tools/elver/
H A Delver.c61 uint64_t read_write :1; member in struct:pdir_entry::__anon310
82 uint64_t read_write :1; member in struct:ptable_entry::__anon311
100 uint64_t read_write :1; member in struct:ptable_entry::__anon312
216 entry->d.read_write = 1;
227 entry->large.read_write = bitmap & PTABLE_READ_WRITE ? 1 : 0;
/barrelfish-master/kernel/arch/x86_64/
H A Dpage_mappings_arch.c980 if (type == ACCESS_WRITE && !pde->d.read_write) { return false; }
989 if (type == ACCESS_WRITE && !pde->d.read_write) { return false; }
1000 if (type == ACCESS_WRITE && !pde->d.read_write) { return false; }
1011 if (type == ACCESS_WRITE && !pte->base.read_write) { return false; }
1048 pdpt->d.read_write, pdpt->d.user_supervisor,
1064 pdir_index, paddr, pt->huge.read_write,
1072 pdir->d.read_write, pdir->d.user_supervisor,
1089 pt->large.read_write, pt->large.dirty,
1097 ptable->d.read_write, ptable->d.user_supervisor,
1110 paddr, e->base.read_write,
[all...]
H A Dvmx_vmkit.c993 pdpt->d.read_write, pdpt->d.user_supervisor,
1009 pdir_index, paddr, pt->huge.read_write,
1017 pdir->d.read_write, pdir->d.user_supervisor,
1034 pt->large.read_write, pt->large.dirty, pt->large.accessed);
1041 ptable->d.read_write, ptable->d.user_supervisor,
1056 paddr, e->base.read_write, e->base.dirty, e->base.accessed,

Completed in 115 milliseconds