Searched refs:attr (Results 1 - 5 of 5) sorted by relevance
| /seL4-mcs-10.1.1/include/object/ |
| H A D | structures.h | 208 vm_attributes_t attr; local
210 attr.words[0] = w;
211 return attr;
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1685 vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd)
1700 vm_attributes_get_armPageCacheable(attr),
1701 vm_attributes_get_armExecuteNever(attr),
1740 vm_attributes_get_armPageCacheable(attr),
1741 vm_attributes_get_armExecuteNever(attr),
1785 vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd)
1800 vm_attributes_get_armParityEnabled(attr),
1801 vm_attributes_get_armPageCacheable(attr),
1802 vm_attributes_get_armExecuteNever(attr),
1830 vm_attributes_get_armParityEnabled(attr),
1683 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument
1783 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument
2313 vm_attributes_t attr; local
2443 vm_attributes_t attr; local
2581 vm_attributes_t attr; local
[all...] |
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | vspace.c | 811 vm_attributes_t attr = vmAttributesFromWord(getSyscallArg(2, buffer)); local
884 bool_t executable = !vm_attributes_get_riscvExecuteNever(attr);
898 vm_attributes_t attr = vmAttributesFromWord(getSyscallArg(1, buffer)); local
962 bool_t executable = !vm_attributes_get_riscvExecuteNever(attr);
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | vspace.c | 891 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, argument
906 ret.pte = makeUserPTE(base, attr, vmRights);
920 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, argument
945 ret.pde = makeUserPDELargePage(base, attr, vmRights);
1277 vm_attributes_t attr; local
1317 attr = vmAttributesFromWord(getSyscallArg(1, buffer));
1373 pde = makeUserPDEPageTable(paddr, attr);
|
| /seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1363 vm_attributes_t attr; local
1404 attr = vmAttributesFromWord(getSyscallArg(1, buffer));
1451 pml4e = makeUserPML4E(paddr, attr);
1544 createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, argument
1569 ret.pdpte = makeUserPDPTEHugePage(base, attr, vmRights);
|
Completed in 80 milliseconds