Searched refs:deleteASIDPool (Results 1 - 12 of 12) sorted by relevance
/seL4-test-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-test-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 49 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool);
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
H A D | vspace.h | 46 void deleteASIDPool(asid_t base, asid_pool_t *pool);
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 88 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool);
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 106 deleteASIDPool(
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | objecttype.c | 207 deleteASIDPool(
|
/seL4-test-master/kernel/src/arch/arm/32/object/ |
H A D | objecttype.c | 150 deleteASIDPool(cap_asid_pool_cap_get_capASIDBase(cap),
|
/seL4-test-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 145 deleteASIDPool(cap_asid_pool_cap_get_capASIDBase(cap),
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 440 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool) function
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 34 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool) function
|
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1327 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool) function
|
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1412 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool) function
|
Completed in 71 milliseconds