| /seL4-camkes-master/kernel/include/arch/riscv/arch/model/ |
| H A D | statedata.h | 25 extern asid_pool_t *riscvKSASIDTable[BIT(asidHighBits)];
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/model/ |
| H A D | statedata.h | 20 extern asid_pool_t *armKSASIDTable[BIT(asidHighBits)] VISIBLE;
|
| /seL4-camkes-master/kernel/src/arch/riscv/model/ |
| H A D | statedata.c | 18 asid_pool_t *riscvKSASIDTable[BIT(asidHighBits)];
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/model/ |
| H A D | statedata.h | 18 extern asid_pool_t *armKSASIDTable[BIT(asidHighBits)] VISIBLE;
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
| H A D | vspace.h | 46 void deleteASIDPool(asid_t base, asid_pool_t *pool);
87 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte)
131 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte)
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/object/ |
| H A D | structures.h | 52 typedef struct asid_pool asid_pool_t; typedef in typeref:struct:asid_pool
55 #define ASID_POOL_PTR(r) ((asid_pool_t*)r)
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/object/ |
| H A D | structures.h | 27 typedef struct asid_pool asid_pool_t; typedef in typeref:struct:asid_pool
29 #define ASID_POOL_PTR(r) ((asid_pool_t*)r)
|
| /seL4-camkes-master/kernel/src/arch/x86/model/ |
| H A D | statedata.c | 26 asid_pool_t *x86KSASIDTable[BIT(asidHighBits)];
|
| /seL4-camkes-master/kernel/src/arch/arm/32/model/ |
| H A D | statedata.c | 24 asid_pool_t *armKSASIDTable[BIT(asidHighBits)];
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/object/ |
| H A D | structures.h | 103 typedef struct asid_pool asid_pool_t; typedef in typeref:struct:asid_pool
107 #define ASID_POOL_PTR(r) ((asid_pool_t*)r)
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 51 void deleteASIDPool(asid_t base, asid_pool_t *pool);
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/model/ |
| H A D | statedata.h | 69 extern asid_pool_t *x86KSASIDTable[];
|
| /seL4-camkes-master/kernel/src/arch/arm/64/model/ |
| H A D | statedata.c | 21 asid_pool_t *armKSASIDTable[BIT(asidHighBits)];
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 49 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool);
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 85 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot);
88 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool);
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 108 typedef struct asid_pool asid_pool_t; typedef in typeref:struct:asid_pool
110 #define ASID_POOL_PTR(r) ((asid_pool_t*)r)
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 95 typedef struct asid_pool asid_pool_t; typedef in typeref:struct:asid_pool
97 #define ASID_POOL_PTR(r) ((asid_pool_t *)r)
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 310 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
320 asid_pool_t *poolPtr;
440 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool)
471 riscvKSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame;
476 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot)
494 asid_pool_t *poolPtr;
1017 asid_pool_t *pool;
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 548 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
562 asid_pool_t *poolPtr;
1071 asid_pool_t *asidPool;
1084 asid_pool_t *asidPool;
1097 asid_pool_t *asidPool;
1175 asid_pool_t *asidPool;
1188 asid_pool_t *asidPool;
1203 asid_pool_t *asidPool;
1398 asid_pool_t *poolPtr;
1412 void deleteASIDPool(asid_t asid_base, asid_pool_t *poo
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 634 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
644 asid_pool_t *poolPtr;
1116 asid_pool_t *asidPool;
1130 asid_pool_t *asidPool;
1144 asid_pool_t *asidPool;
1327 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool)
1348 asid_pool_t *poolPtr;
2012 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr,
2039 armKSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame;
2648 asid_pool_t *poo
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 34 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool)
72 x86KSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame;
79 asid_pool_t *poolPtr;
528 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
535 asid_pool_t *poolPtr;
1343 asid_pool_t *pool;
|
| H A D | ept.c | 44 asid_pool_t *poolPtr;
|
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 197 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot)
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 801 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot)
|