Searched refs:cap_b (Results 1 - 11 of 11) sorted by relevance
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | objecttype.c | 292 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b) argument 296 if (cap_get_capType(cap_b) == cap_frame_cap) { 299 botB = cap_frame_cap_get_capFBasePtr(cap_b); 301 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))); 307 if (cap_get_capType(cap_b) == cap_page_table_cap) { 309 cap_page_table_cap_get_capPTBasePtr(cap_b); 314 if (cap_get_capType(cap_b) == cap_page_directory_cap) { 316 cap_page_directory_cap_get_capPDBasePtr(cap_b); 321 if (cap_get_capType(cap_b) == cap_asid_control_cap) { 327 if (cap_get_capType(cap_b) 408 Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) argument [all...] |
/seL4-test-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 238 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b) argument 242 if (cap_get_capType(cap_b) == cap_frame_cap) { 246 botB = cap_frame_cap_get_capFBasePtr(cap_b); 248 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ; 254 if (cap_get_capType(cap_b) == cap_page_table_cap) { 256 cap_page_table_cap_get_capPTBasePtr(cap_b); 261 if (cap_get_capType(cap_b) == cap_page_directory_cap) { 263 cap_page_directory_cap_get_capPDBasePtr(cap_b); 268 if (cap_get_capType(cap_b) == cap_page_upper_directory_cap) { 270 cap_page_upper_directory_cap_get_capPUDBasePtr(cap_b); 332 Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) argument [all...] |
/seL4-test-master/kernel/src/arch/arm/32/object/ |
H A D | objecttype.c | 251 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b) argument 256 if (cap_get_capType(cap_b) == cap_small_frame_cap || 257 cap_get_capType(cap_b) == cap_frame_cap) { 260 botB = generic_frame_cap_get_capFBasePtr(cap_b); 262 topB = botB + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_b))) ; 268 if (cap_get_capType(cap_b) == cap_page_table_cap) { 270 cap_page_table_cap_get_capPTBasePtr(cap_b); 275 if (cap_get_capType(cap_b) == cap_page_directory_cap) { 277 cap_page_directory_cap_get_capPDBasePtr(cap_b); 282 if (cap_get_capType(cap_b) 323 Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) argument [all...] |
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 120 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b) argument 124 if (cap_get_capType(cap_b) == cap_frame_cap) { 127 botB = cap_frame_cap_get_capFBasePtr(cap_b); 129 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ; 135 if (cap_get_capType(cap_b) == cap_page_table_cap) { 137 cap_page_table_cap_get_capPTBasePtr(cap_b); 141 if (cap_get_capType(cap_b) == cap_asid_control_cap) { 147 if (cap_get_capType(cap_b) == cap_asid_pool_cap) { 149 cap_asid_pool_cap_get_capASIDPool(cap_b); 158 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) argument [all...] |
/seL4-test-master/kernel/src/object/ |
H A D | objecttype.c | 274 bool_t CONST sameRegionAs(cap_t cap_a, cap_t cap_b) argument 278 if (cap_get_capIsPhysical(cap_b)) { 282 bBase = (word_t)cap_get_capPtr(cap_b); 285 bTop = bBase + MASK(cap_get_capSizeBits(cap_b)); 292 if (cap_get_capType(cap_b) == cap_endpoint_cap) { 294 cap_endpoint_cap_get_capEPPtr(cap_b); 299 if (cap_get_capType(cap_b) == cap_notification_cap) { 301 cap_notification_cap_get_capNtfnPtr(cap_b); 306 if (cap_get_capType(cap_b) == cap_cnode_cap) { 308 cap_cnode_cap_get_capCNodePtr(cap_b)) 379 sameObjectAs(cap_t cap_a, cap_t cap_b) argument [all...] |
/seL4-test-master/kernel/include/arch/x86/arch/object/ |
H A D | objecttype.h | 19 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b); 20 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b); 32 bool_t CONST Mode_sameRegionAs(cap_t cap_a, cap_t cap_b);
|
/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | objecttype.h | 19 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b); 20 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b);
|
/seL4-test-master/kernel/include/arch/riscv/arch/object/ |
H A D | objecttype.h | 19 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b); 20 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b);
|
/seL4-test-master/kernel/src/arch/x86/64/object/ |
H A D | objecttype.c | 143 bool_t CONST Mode_sameRegionAs(cap_t cap_a, cap_t cap_b) argument 148 if (cap_get_capType(cap_b) == cap_pdpt_cap) { 150 cap_pdpt_cap_get_capPDPTBasePtr(cap_b); 155 if (cap_get_capType(cap_b) == cap_pml4_cap) { 157 cap_pml4_cap_get_capPML4BasePtr(cap_b);
|
/seL4-test-master/kernel/include/object/ |
H A D | objecttype.h | 21 bool_t CONST sameRegionAs(cap_t cap_a, cap_t cap_b); 22 bool_t CONST sameObjectAs(cap_t cap_a, cap_t cap_b);
|
/seL4-test-master/kernel/src/arch/x86/32/object/ |
H A D | objecttype.c | 122 bool_t CONST Mode_sameRegionAs(cap_t cap_a, cap_t cap_b) argument
|
Completed in 166 milliseconds