Searched refs:num_frames (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | cross_vm_connection.h | 31 * @param {int} num_frames Total number of frames in the `frames` member 36 unsigned int num_frames; member in struct:crossvm_dataport_handle
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | page_dma.c | 72 unsigned int num_frames = 0; local 101 num_frames = size / PAGE_SIZE_4K; 102 frames = calloc(num_frames, sizeof(cspacepath_t)); 106 for (unsigned i = 0; i < num_frames; i++) { 131 for (unsigned i = 0; i < num_frames; i++) { 146 vspace_unmap_pages(&dma->vspace, base, num_frames, PAGE_BITS_4K, NULL); 150 for (int i = 0; i < num_frames; i++) {
|
/seL4-test-master/projects/util_libs/libethdrivers/src/ |
H A D | lwip.c | 362 int num_frames = 0; local 373 lengths[num_frames] = next - loc; 374 phys[num_frames] = ps_dma_pin(&iface->dma_man, (void *)loc, lengths[num_frames]); 375 ps_dma_cache_clean(&iface->dma_man, (void *)loc, lengths[num_frames]); 376 assert(phys[num_frames]); 377 num_frames++; 386 status = iface->driver.i_fn.raw_tx(&iface->driver, num_frames, phys, lengths, p);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | cross_vm_connection.c | 191 unsigned int num_frames = dataport->num_frames; local
|
Completed in 105 milliseconds