Searched refs:cap_b (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
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 Dobjecttype.c238 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 Dobjecttype.c251 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 Dobjecttype.c120 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 Dobjecttype.c274 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 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/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/src/arch/x86/64/object/
H A Dobjecttype.c143 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 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/32/object/
H A Dobjecttype.c122 bool_t CONST Mode_sameRegionAs(cap_t cap_a, cap_t cap_b) argument

Completed in 166 milliseconds