Searched defs:camkes_arch_io_port_out (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/
H A Dio.c21 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val) function
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/
H A Dio.c21 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val) function
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/
H A Dio.c154 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t value) function

Completed in 29 milliseconds