Searched defs:io_mapper (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
| H A D | acpi.h | 88 ps_io_mapper_t io_mapper; member in struct:acpi
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | acpi.c | 317 create_acpi(ps_io_mapper_t io_mapper) argument
341 acpi_init_with_rsdp(ps_io_mapper_t io_mapper, acpi_rsdp_t rsdp) argument
369 acpi_init(ps_io_mapper_t io_mapper) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | io.c | 102 static void insert_node(sel4platsupport_io_mapper_cookie_t *io_mapper, io_mapping_t *node) argument
112 static io_mapping_t *find_node(sel4platsupport_io_mapper_cookie_t *io_mapper, void *returned_addr) argument
123 static void remove_node(sel4platsupport_io_mapper_cookie_t *io_mapper, io_mapping_t *node) argument
136 sel4platsupport_map_paddr_with_page_size(sel4platsupport_io_mapper_cookie_t *io_mapper, uintptr_t paddr, size_t size, size_t page_size_bits, bool cached) argument
209 sel4platsupport_io_mapper_cookie_t *io_mapper = (sel4platsupport_io_mapper_cookie_t *)cookie; local
238 sel4platsupport_io_mapper_cookie_t *io_mapper = cookie; local
258 sel4platsupport_new_io_mapper(vspace_t *vspace, vka_t *vka, ps_io_mapper_t *io_mapper) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | io.h | 78 ps_io_map( const ps_io_mapper_t *io_mapper, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument
90 ps_io_unmap( const ps_io_mapper_t *io_mapper, void *vaddr, size_t size) argument
497 ps_io_mapper_t io_mapper; member in struct:ps_io_ops
[all...] |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | ocotp_ctrl.c | 173 ocotp_init(ps_io_mapper_t *io_mapper) argument
178 void ocotp_free(struct ocotp *ocotp, ps_io_mapper_t *io_mapper) argument
|
Completed in 39 milliseconds