Searched refs:cap_a (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/object/
H A Dobjecttype.c292 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 Dobjecttype.c120 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 Dobjecttype.c238 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 Dobjecttype.c251 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 Dobjecttype.h19 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 Dobjecttype.c274 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 Dobjecttype.h19 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 Dobjecttype.h19 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 Dobjecttype.h21 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 Dobjecttype.c143 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 Dobjecttype.c122 bool_t CONST Mode_sameRegionAs(cap_t cap_a, cap_t cap_b) argument

Completed in 120 milliseconds