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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/
H A Ddevice.h64 * @function find_device_by_pa(dev_list, addr)
70 struct device *find_device_by_pa(device_list_t *dev_list, uintptr_t addr);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Ddevice.c42 find_device_by_pa(device_list_t *dev_list, uintptr_t addr) function

Completed in 69 milliseconds