Function receiver_thread

user/apps/tests/test-ipc.c:30–56 · view source on GitHub ↗

* Receiver thread: waits for message from sender. * Validates sender TID and message label. */

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

nothing calls this directly

L4_TimePeriodFunction · 0.85

L4_IpcSucceededFunction · 0.85

L4_MsgStoreFunction · 0.85

L4_MsgWordFunction · 0.85

L4_LabelFunction · 0.85

no test coverage detected