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 Dcross_vm_connection.h31 * @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 Dpage_dma.c72 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 Dlwip.c362 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 Dcross_vm_connection.c191 unsigned int num_frames = dataport->num_frames; local

Completed in 105 milliseconds