/seL4-refos-master/libs/libsel4debug/src/sel4_arch/ia32/ |
H A D | stack_trace.c | 19 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 D | stack_trace.c | 19 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 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 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 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 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 D | mapping.h | 39 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 D | mapping.h | 39 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 D | mapping.c | 25 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 D | page_dma.c | 45 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 D | mapping.c | 25 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 D | page_dma.c | 45 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 D | test_addrspace.c | 130 /* 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 D | test_addrspace.c | 130 /* 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 D | state.h | 60 /* 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 D | state.c | 134 /*! @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 D | state.h | 60 /* 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 D | state.c | 134 /*! @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 D | pager.h | 14 @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 D | pager.c | 14 @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 D | pager.h | 14 @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 D | pager.c | 14 @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 D | clone.s | 13 # create initial stack frame for new thread
|
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/ |
H A D | clone.s | 25 # create initial stack frame for new thread
|
/seL4-refos-master/libs/libmuslc/src/thread/s390x/ |
H A D | clone.s | 19 # create initial stack frame for new thread
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 194 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 D | fault_handler.c | 194 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);
|