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