Searched refs:dataport_memory_iterator (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c160 static vm_frame_t dataport_memory_iterator(uintptr_t addr, void *cookie) function
206 err = vm_map_reservation(vm, dataport_reservation, dataport_memory_iterator, (void *)dataport_cookie);

Completed in 26 milliseconds