Searched refs:SSMSGREG_WRITE_ACK_END (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ | ||
H A D | serial_server.h | 99 SSMSGREG_WRITE_ACK_END, enumerator in enum:serial_server_msgregs |
H A D | server.c | 553 tag = seL4_MessageInfo_new(error, 0, 0, SSMSGREG_WRITE_ACK_END); |
Completed in 76 milliseconds