Searched defs:ps_fdt_index_register_irq (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/util_libs/libplatsupport/src/ | ||
H A D | fdt.c | 321 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, function |
Completed in 24 milliseconds