Searched refs:regionBase (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c133 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 Dobjecttype.c180 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 Dobjecttype.c379 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 Dobjecttype.h22 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 Dobjecttype.c386 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 Dobjecttype.c507 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 Duntyped.c242 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 Dobjecttype.c194 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 Dobjecttype.h25 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 Dobjecttype.h22 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 Dobjecttype.h21 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 Dobjecttype.c459 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 Dvspace.c479 pte_t *regionBase = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
485 copyGlobalMappings(regionBase);
487 poolPtr->array[asid & MASK(asidLowBits)] = regionBase;

Completed in 89 milliseconds