Searched refs:frame (Results 1 - 25 of 52) sorted by relevance

123

/seL4-refos-master/libs/libsel4debug/src/sel4_arch/ia32/
H A Dstack_trace.c19 void *frame = __builtin_frame_address(x); \
20 if (!frame) return; \
24 printf("Possible stack call (%d) from %p with frame at %p\n", x, addr, frame); \
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/sel4_arch/ia32/
H A Dstack_trace.c19 void *frame = __builtin_frame_address(x); \
20 if (!frame) return; \
24 printf("Possible stack call (%d) from %p with frame at %p\n", x, addr, frame); \
/seL4-refos-master/libs/libsel4platsupport/src/
H A Ddevice.c47 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
49 /* find the physical frame */
50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame);
52 ZF_LOGE("Failed to find frame at paddr %p", (void *)paddr);
58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
61 error = sel4platsupport_alloc_frame_at(vka, paddr, size_bits, frame);
65 void *vaddr = vspace_map_pages(vspace, &frame->cptr, &frame->ut, seL4_AllRights, 1, size_bits, 0);
67 ZF_LOGE("Failed to map frame at paddr %p", (void *)paddr);
68 vka_free_object(vka, frame);
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Ddevice.c47 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
49 /* find the physical frame */
50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame);
52 ZF_LOGE("Failed to find frame at paddr %p", (void *)paddr);
58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
61 error = sel4platsupport_alloc_frame_at(vka, paddr, size_bits, frame);
65 void *vaddr = vspace_map_pages(vspace, &frame->cptr, &frame->ut, seL4_AllRights, 1, size_bits, 0);
67 ZF_LOGE("Failed to map frame at paddr %p", (void *)paddr);
68 vka_free_object(vka, frame);
[all...]
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dmapping.h39 int sel4utils_map_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr,
43 static inline int sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, argument
48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num);
68 * @param vspace vspace that frame was mapped into
77 int sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr,
83 int sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr,
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmapping.h39 int sel4utils_map_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr,
43 static inline int sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, argument
48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num);
68 * @param vspace vspace that frame was mapped into
77 int sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr,
83 int sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr,
/seL4-refos-master/libs/libsel4utils/src/
H A Dmapping.c25 seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights,
41 int error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr);
71 error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr);
74 ZF_LOGE("Failed to map page at address %p with cap %"PRIuPTR", error: %d", vaddr, frame, error);
79 int sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, argument
82 return map_page(vka, seL4_ARCH_Page_Map, vspace_get_map_obj, vspace_root, frame, vaddr, rights,
87 int sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, argument
91 return map_page(vka, vspace_iospace_map_page, vspace_get_iospace_map_obj, iospace, frame, (void *) vaddr, rights,
97 /*map a frame into guest os's physical address space*/
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...]
H A Dpage_dma.c45 seL4_CPtr frame = vspace_get_cap(&dma->vspace, addr + i * PAGE_SIZE_4K); local
47 vka_cspace_make_path(&dma->vka, frame, &path);
49 vka_cspace_free(&dma->vka, frame);
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c25 seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights,
41 int error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr);
71 error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr);
74 ZF_LOGE("Failed to map page at address %p with cap %"PRIuPTR", error: %d", vaddr, frame, error);
79 int sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, argument
82 return map_page(vka, seL4_ARCH_Page_Map, vspace_get_map_obj, vspace_root, frame, vaddr, rights,
87 int sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, argument
91 return map_page(vka, vspace_iospace_map_page, vspace_get_iospace_map_obj, iospace, frame, (void *) vaddr, rights,
97 /*map a frame into guest os's physical address space*/
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...]
H A Dpage_dma.c45 seL4_CPtr frame = vspace_get_cap(&dma->vspace, addr + i * PAGE_SIZE_4K); local
47 vka_cspace_make_path(&dma->vka, frame, &path);
49 vka_cspace_free(&dma->vka, frame);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_addrspace.c130 /* Allocate a frame to map. */
131 vka_object_t frame; local
132 error = vka_alloc_frame(&procServ.vka, seL4_PageBits, &frame);
134 test_assert(frame.cptr != 0);
138 error = vs_map(&vs, 0x9A0, &frame.cptr, 1);
140 error = vs_map(&vs, window - 0x9A0, &frame.cptr, 1);
142 error = vs_map(&vs, window + windowSize + 0x1, &frame.cptr, 1);
144 error = vs_map(&vs, window + windowSize + 0x5123, &frame.cptr, 1);
156 /* Map the frame many times in all the valid spots. */
159 /* Map the frame
[all...]
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_addrspace.c130 /* Allocate a frame to map. */
131 vka_object_t frame; local
132 error = vka_alloc_frame(&procServ.vka, seL4_PageBits, &frame);
134 test_assert(frame.cptr != 0);
138 error = vs_map(&vs, 0x9A0, &frame.cptr, 1);
140 error = vs_map(&vs, window - 0x9A0, &frame.cptr, 1);
142 error = vs_map(&vs, window + windowSize + 0x1, &frame.cptr, 1);
144 error = vs_map(&vs, window + windowSize + 0x5123, &frame.cptr, 1);
156 /* Map the frame many times in all the valid spots. */
159 /* Map the frame
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.h60 /* Cspace path to the serial frame cap. */
121 /*! @brief Temporary map a page frame and write data to it.
125 @param frame CPtr to destination frame.
128 @param offset Offset into frame to write to.
131 int procserv_frame_write(seL4_CPtr frame, const char* src, size_t len, size_t offset);
133 /*! @brief Temporary map a page frame and read data from it.
134 @param frame CPtr to source frame.
137 @param offset Offset into frame t
[all...]
H A Dstate.c134 /*! @brief Wrapper function for getting the cap to the physical frame of
233 procserv_frame_write(seL4_CPtr frame, const char* src, size_t len, size_t offset) argument
239 char* addr = (char*) vspace_map_pages(&procServ.vspace, &frame, NULL, seL4_AllRights, 1,
242 ROS_ERROR ("procserv_frame_write couldn't map frame.");
246 procserv_flush(&frame, 1);
252 procserv_frame_read(seL4_CPtr frame, const char* dst, size_t len, size_t offset) argument
259 char* addr = (char*) vspace_map_pages(&procServ.vspace, &frame, NULL, seL4_AllRights, 1,
262 ROS_ERROR ("procserv_frame_read couldn't map frame.");
265 procserv_flush(&frame, 1);
329 procserv_flush(seL4_CPtr *frame, in argument
[all...]
/seL4-refos-master/apps/process_server/src/
H A Dstate.h60 /* Cspace path to the serial frame cap. */
121 /*! @brief Temporary map a page frame and write data to it.
125 @param frame CPtr to destination frame.
128 @param offset Offset into frame to write to.
131 int procserv_frame_write(seL4_CPtr frame, const char* src, size_t len, size_t offset);
133 /*! @brief Temporary map a page frame and read data from it.
134 @param frame CPtr to source frame.
137 @param offset Offset into frame t
[all...]
H A Dstate.c134 /*! @brief Wrapper function for getting the cap to the physical frame of
233 procserv_frame_write(seL4_CPtr frame, const char* src, size_t len, size_t offset) argument
239 char* addr = (char*) vspace_map_pages(&procServ.vspace, &frame, NULL, seL4_AllRights, 1,
242 ROS_ERROR ("procserv_frame_write couldn't map frame.");
246 procserv_flush(&frame, 1);
252 procserv_frame_read(seL4_CPtr frame, const char* dst, size_t len, size_t offset) argument
259 char* addr = (char*) vspace_map_pages(&procServ.vspace, &frame, NULL, seL4_AllRights, 1,
262 ROS_ERROR ("procserv_frame_read couldn't map frame.");
265 procserv_flush(&frame, 1);
329 procserv_flush(seL4_CPtr *frame, in argument
[all...]
/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dpager.h14 @brief CPIO Fileserver pager RAM frame block module. */
26 /*! @brief CPIO File server RAM frame block
28 CPIO Fileserver frame block structure, stores book-keeping data for allocation of frames used
40 /*! @brief Initialises pager frame block table.
41 @param fb The frame block to initialise.
42 @param framesSize The size of the pager frame block in bytes. This number must be a multiple
44 @return A pager frame block if success, NULL otherwise.
48 /*! @brief Tear downs a pager frame block table and releases all associated memory.
49 @param fb The frame block to de-initialise.
53 /*! @brief Allocates a frame fro
[all...]
H A Dpager.c14 @brief CPIO Fileserver pager RAM frame block module.
17 the RAM dataspace to be used for paging clients. The frame block works by using a frame pool
47 /* Initialise the frame pool allocator. */
48 dprintf(" Initialising frame block allocator pool...\n");
54 dprintf(" Creating pager frame block...\n");
65 dprintf(" Allocating frame block window...\n");
72 dprintf(" Allocated frame block window 0x%x --> 0x%x...\n",
76 dprintf(" Datamapping frame block...\n");
121 pager_free_frame(struct fs_frame_block *fb, vaddr_t frame) argument
[all...]
/seL4-refos-master/apps/file_server/src/
H A Dpager.h14 @brief CPIO Fileserver pager RAM frame block module. */
26 /*! @brief CPIO File server RAM frame block
28 CPIO Fileserver frame block structure, stores book-keeping data for allocation of frames used
40 /*! @brief Initialises pager frame block table.
41 @param fb The frame block to initialise.
42 @param framesSize The size of the pager frame block in bytes. This number must be a multiple
44 @return A pager frame block if success, NULL otherwise.
48 /*! @brief Tear downs a pager frame block table and releases all associated memory.
49 @param fb The frame block to de-initialise.
53 /*! @brief Allocates a frame fro
[all...]
H A Dpager.c14 @brief CPIO Fileserver pager RAM frame block module.
17 the RAM dataspace to be used for paging clients. The frame block works by using a frame pool
47 /* Initialise the frame pool allocator. */
48 dprintf(" Initialising frame block allocator pool...\n");
54 dprintf(" Creating pager frame block...\n");
65 dprintf(" Allocating frame block window...\n");
72 dprintf(" Allocated frame block window 0x%x --> 0x%x...\n",
76 dprintf(" Datamapping frame block...\n");
121 pager_free_frame(struct fs_frame_block *fb, vaddr_t frame) argument
[all...]
/seL4-refos-master/libs/libmuslc/src/thread/powerpc64/
H A Dclone.s13 # create initial stack frame for new thread
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/
H A Dclone.s25 # create initial stack frame for new thread
/seL4-refos-master/libs/libmuslc/src/thread/s390x/
H A Dclone.s19 # create initial stack frame for new thread
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dfault_handler.c194 seL4_CPtr frame = ram_dspace_get_page(dspace, dspaceOffset); local
195 if (!frame) {
200 /* Map this frame into the client process's page directory. */
201 int error = vs_map(&f->pcb->vspace, f->faultAddr, &frame, 1);
203 output_segmentation_fault("Failed to map frame into client's vspace at faultAddr.", f);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dfault_handler.c194 seL4_CPtr frame = ram_dspace_get_page(dspace, dspaceOffset); local
195 if (!frame) {
200 /* Map this frame into the client process's page directory. */
201 int error = vs_map(&f->pcb->vspace, f->faultAddr, &frame, 1);
203 output_segmentation_fault("Failed to map frame into client's vspace at faultAddr.", f);

Completed in 106 milliseconds

123