Searched refs:asidInvalid (Results 1 - 18 of 18) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/api/
H A Dtypes.h21 asidInvalid = 0 enumerator in enum:asidConstants
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/api/
H A Dtypes.h29 asidInvalid = 0 enumerator in enum:asidConstants
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dtypes.h22 asidInvalid = 0 enumerator in enum:asidConstants
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/object/
H A Dobjecttype.c48 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 Dobjecttype.c76 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 Dobjecttype.c74 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 Dobjecttype.c92 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 Dobjecttype.c48 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 Diospace.c209 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 Dvspace.c209 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 Dsmmu.h151 return asidInvalid;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Diospace.c234 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 Dvspace.c417 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 Dvspace.c853 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 Dept.c74 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 Dvspace.c544 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 Dvspace.c564 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 Dvspace.c546 assert(cap_frame_cap_get_capFMappedASID(frame_cap) != asidInvalid);
817 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone);

Completed in 134 milliseconds