/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/api/ |
H A D | types.h | 21 asidInvalid = 0 enumerator in enum:asidConstants
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/api/ |
H A D | types.h | 29 asidInvalid = 0 enumerator in enum:asidConstants
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/ |
H A D | types.h | 22 asidInvalid = 0 enumerator in enum:asidConstants
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/object/ |
H A D | objecttype.c | 48 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid); 147 ASID_LOW(asidInvalid), /* capFMappedASIDLow */ 151 ASID_HIGH(asidInvalid), /* capFMappedASIDHigh */ 159 ASID_LOW(asidInvalid), /* capFMappedASIDLow */ 163 ASID_HIGH(asidInvalid), /* capFMappedASIDHigh */ 171 asidInvalid, /* capPTMappedASID */ 180 asidInvalid, /* capPDMappedASID */
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/object/ |
H A D | objecttype.c | 76 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid); 209 asidInvalid, /* capFMappedASID */ 233 asidInvalid, /* capFMappedASID */ 257 asidInvalid, /* capFMappedASID */ 270 asidInvalid, /* capPTMappedASID */ 280 asidInvalid, /* capPDMappedASID */ 290 asidInvalid, /* capPDPTMappedASID */ 301 asidInvalid, /* capPML4MappedASID */ 312 asidInvalid,
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/ |
H A D | objecttype.c | 74 ret.cap = cap_small_frame_cap_set_capFMappedASID(cap, asidInvalid); 79 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid); 410 ASID_LOW(asidInvalid), VMReadWrite, 415 ASID_HIGH(asidInvalid), 433 ARMLargePage, ASID_LOW(asidInvalid), VMReadWrite, 434 0, !!deviceMemory, ASID_HIGH(asidInvalid), 462 ARMSection, ASID_LOW(asidInvalid), VMReadWrite, 463 0, !!deviceMemory, ASID_HIGH(asidInvalid), 491 ARMSuperSection, ASID_LOW(asidInvalid), VMReadWrite, 492 0, !!deviceMemory, ASID_HIGH(asidInvalid), [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/ |
H A D | objecttype.c | 92 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid); 320 asidInvalid, /* capFMappedASID */ 330 asidInvalid, /* capFMappedASID */ 340 asidInvalid, /* capFMappedASID */ 350 asidInvalid, /* capPGDMappedASID */ 357 asidInvalid, /* capPUDMappedASID */ 365 asidInvalid, /* capPDMappedASID */ 373 asidInvalid, /* capPTMappedASID */
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
H A D | objecttype.c | 48 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid); 103 if (asid != asidInvalid) { 213 asidInvalid, /* capFMappedASID */ 223 asidInvalid, /* capFMappedASID */ 235 asidInvalid, /* capFMappedASID */ 247 asidInvalid, /* capPTMappedASID */
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
H A D | iospace.c | 209 assert(asid != asidInvalid); 289 if (cap_small_frame_cap_get_capFMappedASID(cap) != asidInvalid) { 309 assert(asid != asidInvalid); 398 assert(asid != asidInvalid); 435 assert(asid != asidInvalid); 462 assert(asid != asidInvalid); 482 slot->cap = cap_small_frame_cap_set_capFMappedASID(slot->cap, asidInvalid);
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 209 asidInvalid, /* capFMappedASID */ 608 cap_page_table_cap_get_capPTMappedASID(cap) != asidInvalid); 715 if (unlikely(cap_page_table_cap_get_capPTMappedASID(cap) != asidInvalid)) { 726 cap_page_table_cap_get_capPTIsMapped(lvl1ptCap) == asidInvalid)) { 818 if (unlikely(cap_frame_cap_get_capFMappedASID(cap)) != asidInvalid) { 826 cap_page_table_cap_get_capPTMappedASID(lvl1ptCap) == asidInvalid)) { 904 cap_page_table_cap_get_capPTMappedASID(lvl1ptCap) == asidInvalid)) { 911 if (unlikely(cap_frame_cap_get_capFMappedASID(cap)) == asidInvalid) { 1098 if (cap_page_table_cap_get_capPTMappedASID(vspaceCap) != asidInvalid) { 1208 if (cap_frame_cap_get_capFMappedASID(cap) != asidInvalid) { [all...] |
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/ |
H A D | smmu.h | 151 return asidInvalid;
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
H A D | iospace.c | 234 if (pci_request_id == asidInvalid) { 342 if (cap_frame_cap_get_capFMappedASID(cap) != asidInvalid) { 362 if (pci_request_id == asidInvalid) { 510 ctSlot->cap = cap_frame_cap_set_capFMappedASID(ctSlot->cap, asidInvalid);
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
H A D | vspace.c | 417 if (asid != asidInvalid) { 433 if (asid != asidInvalid && cap_get_capType(vspace_cap) != cap_null_cap) { 516 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone);
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 853 cap_frame_cap_ptr_set_capFMappedASID(&ctSlot->cap, asidInvalid); 862 if (cap_frame_cap_get_capFMappedASID(cap) != asidInvalid) { 988 if (cap_frame_cap_get_capFMappedASID(cap) != asidInvalid) { 1127 if (mappedASID == asidInvalid) { 1498 || cap_get_capMappedASID(vspaceCap) != asidInvalid) {
|
H A D | ept.c | 74 cap_frame_cap_ptr_set_capFMappedASID(&ctSlot->cap, asidInvalid); 848 if (cap_frame_cap_get_capFMappedASID(cap) != asidInvalid) {
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 544 if (asid != asidInvalid) { 608 return create_it_frame_cap(pptr, 0, asidInvalid, use_large); 1229 if (armKSHWASIDTable[hw_asid] == asidInvalid) { 1241 armKSHWASIDTable[hw_asid] = asidInvalid; 1274 asidInvalid; 2119 generic_frame_cap_ptr_set_capFMappedAddress(&ctSlot->cap, asidInvalid, 0);
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 564 return create_it_frame_cap(pptr, 0, asidInvalid, use_large); 1196 if (armKSHWASIDTable[hw_asid] == asidInvalid) { 1208 armKSHWASIDTable[hw_asid] = asidInvalid; 1242 asidInvalid; 1649 cap_frame_cap_ptr_set_capFMappedASID(&ctSlot->cap, asidInvalid);
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
H A D | vspace.c | 546 assert(cap_frame_cap_get_capFMappedASID(frame_cap) != asidInvalid); 817 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone);
|