/seL4-camkes-master/kernel/src/arch/x86/32/object/ |
H A D | objecttype.c | 133 cap_t Mode_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument 145 (word_t)regionBase /* capFBasePtr */ 157 (word_t)regionBase /* capFBasePtr */ 165 (word_t)regionBase /* capPTBasePtr */ 169 copyGlobalMappings(regionBase); 174 (word_t)regionBase /* capPDBasePtr */ 184 (word_t)regionBase /* capIOPTBasePtr */
|
/seL4-camkes-master/kernel/src/arch/x86/64/object/ |
H A D | objecttype.c | 180 cap_t Mode_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument 187 (Ptr (ptr_val \<acute>regionBase) :: user_data_device_C ptr))" */ 189 (ptr_val \<acute>regionBase) 193 (Ptr (ptr_val \<acute>regionBase) :: user_data_C ptr))" */ 195 (ptr_val \<acute>regionBase) 200 (word_t)regionBase, /* capFBasePtr */ 211 (Ptr (ptr_val \<acute>regionBase) :: user_data_device_C ptr))" */ 213 (ptr_val \<acute>regionBase) 217 (Ptr (ptr_val \<acute>regionBase) :: user_data_C ptr))" */ 219 (ptr_val \<acute>regionBase) [all...] |
/seL4-camkes-master/kernel/src/arch/arm/32/object/ |
H A D | objecttype.c | 379 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument 385 (Ptr (ptr_val \<acute>regionBase) :: user_data_device_C ptr))" */ 387 (ptr_val \<acute>regionBase) 391 (Ptr (ptr_val \<acute>regionBase) :: user_data_C ptr))" */ 393 (ptr_val \<acute>regionBase) 403 (word_t)regionBase); 408 (Ptr (ptr_val \<acute>regionBase) :: user_data_device_C ptr))" */ 410 (ptr_val \<acute>regionBase) 414 (Ptr (ptr_val \<acute>regionBase) :: user_data_C ptr))" */ 416 (ptr_val \<acute>regionBase) [all...] |
/seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
H A D | objecttype.h | 22 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory); 33 cap_t Mode_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory);
|
/seL4-camkes-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 386 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument 392 (word_t)regionBase, /* capFBasePtr */ 402 (word_t)regionBase, /* capFBasePtr */ 412 (word_t)regionBase, /* capFBasePtr */ 424 (word_t)regionBase, /* capPGDBasePtr */ 432 (word_t)regionBase, /* capPGDBasePtr */ 440 (word_t)regionBase, /* capPUDBasePtr */ 448 (word_t)regionBase, /* capPDBasePtr */ 456 (word_t)regionBase, /* capPTBasePtr */ 464 (Ptr (ptr_val \<acute>regionBase) [all...] |
/seL4-camkes-master/kernel/src/object/ |
H A D | objecttype.c | 507 cap_t createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument 511 return Arch_createObject(t, regionBase, userSize, deviceMemory); 518 tcb = TCB_PTR((word_t)regionBase + TCB_OFFSET); 546 (Ptr (ptr_val \<acute>regionBase) :: endpoint_C ptr))" */ 548 EP_REF(regionBase)); 552 (Ptr (ptr_val \<acute>regionBase) :: notification_C ptr))" */ 554 NTFN_REF(regionBase)); 558 (Ptr (ptr_val \<acute>regionBase) :: cte_C ptr))" */ 560 (ptr_val \<acute>regionBase) 562 return cap_cnode_cap_new(userSize, 0, 0, CTE_REF(regionBase)); 586 createNewObjects(object_t t, cte_t *parent, slot_range_t slots, void *regionBase, word_t userSize, bool_t deviceMemory) argument [all...] |
H A D | untyped.c | 242 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(prev_cap)); local 252 /** AUXUPD: "(True, typ_region_bytes (ptr_val \<acute>regionBase) 254 /** GHOSTUPD: "(True, gs_clear_region (ptr_val \<acute>regionBase) 259 clearMemory(regionBase, block_size); 265 clearMemory(GET_OFFSET_FREE_PTR(regionBase, offset), chunk); 283 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(srcSlot->cap)); local 301 GET_FREE_INDEX(regionBase, freeRef));
|
/seL4-camkes-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 194 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t argument 201 (Ptr (ptr_val \<acute>regionBase) :: user_data_device_C ptr))" */ 203 (ptr_val \<acute>regionBase) 207 (Ptr (ptr_val \<acute>regionBase) :: user_data_C ptr))" */ 209 (ptr_val \<acute>regionBase) 214 (word_t) regionBase, /* capFBasePtr */ 224 (Ptr (ptr_val \<acute>regionBase) :: user_data_device_C ptr))" */ 226 (ptr_val \<acute>regionBase) 230 (Ptr (ptr_val \<acute>regionBase) :: user_data_C ptr))" */ 232 (ptr_val \<acute>regionBase) [all...] |
/seL4-camkes-master/kernel/include/object/ |
H A D | objecttype.h | 25 cap_t createObject(object_t t, void *regionBase, word_t, bool_t deviceMemory); 27 void *regionBase, word_t userSize, bool_t deviceMemory);
|
/seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
H A D | objecttype.h | 22 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory);
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/ |
H A D | objecttype.h | 21 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory);
|
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | objecttype.c | 459 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument 465 vcpu = VCPU_PTR((word_t)regionBase); 473 (word_t)regionBase /* capPML4BasePtr */ 480 (word_t)regionBase /* capPDPTBasePtr */ 487 (word_t)regionBase /* capPDBasePtr */ 494 (word_t)regionBase /* capPTBasePtr */ 498 return Mode_createObject(t, regionBase, userSize, deviceMemory);
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 479 pte_t *regionBase = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local 485 copyGlobalMappings(regionBase); 487 poolPtr->array[asid & MASK(asidLowBits)] = regionBase;
|