Searched refs:stdioDataspace (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/libs/librefossys/src/refos-io/ |
| H A D | stdio.c | 67 refosIOState.stdioDataspace = data_open(refosIOState.stdioSession.serverSession,
69 if (error || !refosIOState.stdioDataspace) {
83 if (!refosIOState.stdioDataspace || !refosIOState.stdioSession.serverSession) {
87 int c = data_getc(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace, false);
97 if (!refosIOState.stdioDataspace || !refosIOState.stdioSession.serverSession) {
101 int c = data_getc(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace, true);
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
| H A D | stdio.c | 67 refosIOState.stdioDataspace = data_open(refosIOState.stdioSession.serverSession,
69 if (error || !refosIOState.stdioDataspace) {
83 if (!refosIOState.stdioDataspace || !refosIOState.stdioSession.serverSession) {
87 int c = data_getc(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace, false);
97 if (!refosIOState.stdioDataspace || !refosIOState.stdioSession.serverSession) {
101 int c = data_getc(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace, true);
|
| /seL4-refos-master/libs/librefossys/include/refos-io/ |
| H A D | internal_state.h | 48 seL4_CPtr stdioDataspace; member in struct:refos_io_internal_state
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
| H A D | internal_state.h | 48 seL4_CPtr stdioDataspace; member in struct:refos_io_internal_state
|
| /seL4-refos-master/libs/librefossys/src/ |
| H A D | sys_io.c | 55 if (refosIOState.stdioDataspace && refosIOState.stdioSession.serverSession) {
59 int n = data_write(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace,
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
| H A D | sys_io.c | 55 if (refosIOState.stdioDataspace && refosIOState.stdioSession.serverSession) {
59 int n = data_write(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace,
|
Completed in 74 milliseconds