| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 451 static exception_t performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base) argument
950 void *frame; local
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | guest_memory_util.c | 22 vka_object_t frame; member in struct:device_frame_cookie
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
| H A D | acpi.c | 116 vka_object_t frame; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
| H A D | vgic.c | 1082 cspacepath_t frame; local
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1669 static exception_t performASIDControlInvocation(void *frame, cte_t *slot, argument
2301 void *frame; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 425 void *frame = (void *)generic_frame_cap_get_capFBasePtr(frame_cap); local
2023 performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base) argument
2573 void *frame; local
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | mapping.h | 43 static inline int sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, argument
|
| /seL4-camkes-master/projects/lwip/src/netif/ppp/ |
| H A D | demand.c | 61 char *frame; variable
[all...] |
| /seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
| H A D | ivc.c | 223 int tegra_ivc_read_get_next_frame(struct tegra_ivc *ivc, void **frame) argument
267 int tegra_ivc_write_get_next_frame(struct tegra_ivc *ivc, void **frame) argument
97 tegra_ivc_frame_addr(struct tegra_ivc *ivc, struct tegra_ivc_channel_header *h, uint32_t frame) argument
108 tegra_ivc_frame_pointer(struct tegra_ivc *ivc, struct tegra_ivc_channel_header *ch, uint32_t frame) argument
[all...] |
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | dma.c | 465 dma_frame_t *frame local
782 dma_frame_t *frame = get_frame_desc(addr); local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 52 exception_t performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base) argument
1275 void *frame; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 132 void *frame = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 105 vka_object_t frame; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | process.c | 188 seL4_CPtr frame = vspace_get_cap(target_vspace, (void *)PAGE_ALIGN_4K(current_dest)); local
|
| H A D | page_dma.c | 45 seL4_CPtr frame = vspace_get_cap(&dma->vspace, addr + i * PAGE_SIZE_4K); local
|
| H A D | mapping.c | 79 int sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, argument
87 int sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, argument
98 int sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Wor argument
24 map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
| H A D | gnttab.c | 73 gnttab_grant_access(domid_t domid, unsigned long frame, int readonly) argument
124 unsigned long frame; local
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
| H A D | traps.c | 166 unsigned long *frame = (void*) frame_base; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | device.c | 47 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
[all...] |
| /seL4-camkes-master/projects/picotcp/test/ |
| H A D | units.c | 131 TCase *frame = tcase_create("FRAME"); local
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_fragments.c | 380 static int pico_fragments_get_more_flag(struct pico_frame *frame, uint8_t net) argument
406 static uint32_t pico_fragments_get_offset(struct pico_frame *frame, uint8_t net) argument
[all...] |
| H A D | pico_dev_mock.c | 41 struct mock_frame*frame; local
139 struct mock_frame*frame; local
[all...] |
| H A D | pico_6lowpan.c | 225 frag_find(uint16_t dgram_size, uint16_t tag, struct pico_frame *frame) argument
[all...] |