Searched defs:io_port_ops (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Drtc.h56 static inline int rtc_get_time_date(ps_io_port_ops_t *io_port_ops, acpi_t *acpi, rtc_time_date_t *time_date) argument
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/KeyboardDriver/
H A Ddriver.c22 static ps_io_port_ops_t io_port_ops; variable
/seL4-camkes-master/projects/camkes/apps/keyboard/components/Driver/src/
H A Ddriver.c25 static ps_io_port_ops_t io_port_ops; variable
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dpit.c131 int pit_init(pit_t *pit, ps_io_port_ops_t io_port_ops) argument
H A Drtc.c85 int rtc_get_time_date_reg(ps_io_port_ops_t *io_port_ops, unsigned int century_reg, rtc_time_date_t *time_date) argument
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/
H A Dvesadriver.c20 static ps_io_port_ops_t io_port_ops; variable
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dio.h498 ps_io_port_ops_t io_port_ops; member in struct:ps_io_ops

Completed in 156 milliseconds