Searched refs:attr (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | pydot.py | 592 def __get_attribute__(self, attr):
595 attr_val = self.obj_dict['attributes'].get(attr, None)
624 attr_val = default.obj_dict['attributes'].get(attr, None)
689 #for attr in self.obj_dict['attributes']:
690 for attr in obj_attributes:
694 self.__setattr__( 'set_'+attr, lambda x, a=attr : self.obj_dict['attributes'].__setitem__(a, x) )
698 self.__setattr__('get_'+attr, lambda a=attr : self.__get_attribute__(a))
815 for attr, valu
[all...] |
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | structures.h | 202 vm_attributes_t attr; local
204 attr.words[0] = w;
205 return attr;
|
| /seL4-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/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);
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | texinfo.tex | 1404 \startlink attr{/Border [0 0 0]}%
1429 \startlink attr{/Border [0 0 0]} goto name{\pdfmkpgn{#1}}
7956 \startlink attr{/Border [0 0 0]}%
|
Completed in 293 milliseconds