/barrelfish-master/usr/arrakismon/ |
H A D | paging.h | 92 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 D | guest.c | 770 tmp.huge.read_write = 1;
|
/barrelfish-master/kernel/include/target/x86_32/ |
H A D | paging_kernel_target.h | 87 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 D | nestedpaging.h | 85 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 D | paging_kernel_target.h | 83 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 D | nestedpaging.h | 85 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 D | dp_internal.h | 102 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 D | elver.c | 61 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 D | page_mappings_arch.c | 980 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 D | vmx_vmkit.c | 993 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,
|