Searched refs:cap_a (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 294 switch (cap_get_capType(cap_a)) { 298 botA = cap_frame_cap_get_capFBasePtr(cap_a); 300 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a))); 308 return cap_page_table_cap_get_capPTBasePtr(cap_a) == 315 return cap_page_directory_cap_get_capPDBasePtr(cap_a) == 328 return cap_asid_pool_cap_get_capASIDPool(cap_a) == 342 return cap_io_port_cap_get_capIOPortFirstPort(cap_a) == 344 cap_io_port_cap_get_capIOPortLastPort(cap_a) == 352 return cap_io_space_cap_get_capPCIDevice(cap_a) 408 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 122 switch (cap_get_capType(cap_a)) { 126 botA = cap_frame_cap_get_capFBasePtr(cap_a); 128 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a))); 136 return cap_page_table_cap_get_capPTBasePtr(cap_a) == 148 return cap_asid_pool_cap_get_capASIDPool(cap_a) == 158 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) argument 160 if ((cap_get_capType(cap_a) == cap_frame_cap) && 162 return ((cap_frame_cap_get_capFBasePtr(cap_a) == 164 (cap_frame_cap_get_capFSize(cap_a) [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 240 switch (cap_get_capType(cap_a)) { 245 botA = cap_frame_cap_get_capFBasePtr(cap_a); 247 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a))); 255 return cap_page_table_cap_get_capPTBasePtr(cap_a) == 262 return cap_page_directory_cap_get_capPDBasePtr(cap_a) == 269 return cap_page_upper_directory_cap_get_capPUDBasePtr(cap_a) == 276 return cap_page_global_directory_cap_get_capPGDBasePtr(cap_a) == 289 return cap_asid_pool_cap_get_capASIDPool(cap_a) == 297 return cap_vcpu_cap_get_capVCPUPtr(cap_a) 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 253 switch (cap_get_capType(cap_a)) { 259 botA = generic_frame_cap_get_capFBasePtr(cap_a); 261 topA = botA + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_a))); 269 return cap_page_table_cap_get_capPTBasePtr(cap_a) == 276 return cap_page_directory_cap_get_capPDBasePtr(cap_a) == 289 return cap_asid_pool_cap_get_capASIDPool(cap_a) == 297 return cap_vcpu_cap_get_capVCPUPtr(cap_a) == 306 return cap_io_space_cap_get_capModuleID(cap_a) == 313 return cap_io_page_table_cap_get_capIOPTBasePtr(cap_a) 323 Arch_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/src/object/ |
H A D | objecttype.c | 274 bool_t CONST sameRegionAs(cap_t cap_a, cap_t cap_b) argument 276 switch (cap_get_capType(cap_a)) { 281 aBase = (word_t)WORD_PTR(cap_untyped_cap_get_capPtr(cap_a)); 284 aTop = aBase + MASK(cap_untyped_cap_get_capBlockSize(cap_a)); 293 return cap_endpoint_cap_get_capEPPtr(cap_a) == 300 return cap_notification_cap_get_capNtfnPtr(cap_a) == 307 return (cap_cnode_cap_get_capCNodePtr(cap_a) == 309 (cap_cnode_cap_get_capCNodeRadix(cap_a) == 316 return cap_thread_cap_get_capTCBPtr(cap_a) == 324 return cap_reply_cap_get_capReplyPtr(cap_a) 379 sameObjectAs(cap_t cap_a, cap_t cap_b) argument [all...] |
/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/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/64/object/ |
H A D | objecttype.c | 143 bool_t CONST Mode_sameRegionAs(cap_t cap_a, cap_t cap_b) argument 145 switch (cap_get_capType(cap_a)) { 149 return cap_pdpt_cap_get_capPDPTBasePtr(cap_a) == 156 return cap_pml4_cap_get_capPML4BasePtr(cap_a) ==
|
/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 120 milliseconds