Searched refs:ASID_POOL_PTR (Results 1 - 14 of 14) sorted by relevance

/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h29 #define ASID_POOL_PTR(r) ((asid_pool_t*)r) macro
137 return ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap));
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h55 #define ASID_POOL_PTR(r) ((asid_pool_t*)r) macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h110 #define ASID_POOL_PTR(r) ((asid_pool_t*)r) macro
227 return ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap));
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h107 #define ASID_POOL_PTR(r) ((asid_pool_t*)r) macro
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h97 #define ASID_POOL_PTR(r) ((asid_pool_t *)r) macro
373 return ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap));
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c108 ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap))
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h278 return ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap));
/seL4-test-master/kernel/src/arch/x86/object/
H A Dobjecttype.c209 ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap))
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c151 ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap)));
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c146 ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap)));
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c310 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
1053 if (pool != ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap))) {
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c528 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
1378 if (pool != ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap))) {
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c634 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
2690 if (unlikely(pool != ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap)))) {
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c548 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
2405 if (unlikely(pool != ASID_POOL_PTR(cap_asid_pool_cap_get_capASIDPool(cap)))) {

Completed in 99 milliseconds