Searched refs:ps_cdev_getchar (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libsel4platsupport/src/
H A Dserial.c72 return ps_cdev_getchar(console);
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dserial.c72 return ps_cdev_getchar(console);
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Ddevice_input.c80 int c = ps_cdev_getchar(&conServ.devSerial);
90 int c = ps_cdev_getchar(&conServ.devKeyboard);
/seL4-refos-master/apps/console_server/src/
H A Ddevice_input.c80 int c = ps_cdev_getchar(&conServ.devSerial);
90 int c = ps_cdev_getchar(&conServ.devKeyboard);
/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dchardev.h121 static inline int ps_cdev_getchar(ps_chardevice_t* d) function
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dchardev.h121 static inline int ps_cdev_getchar(ps_chardevice_t* d) function

Completed in 102 milliseconds