Searched refs:reply_to_parent (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dregressions.S26 * reply_to_parent. No blx required because reply_to_parent does not
31 b reply_to_parent
83 * reply_to_parent. No blx required because reply_to_parent does not
89 b reply_to_parent
173 call reply_to_parent
235 * and put it on the stack where reply_to_parent expects it.
240 call reply_to_parent
286 * reply_to_parent
[all...]
H A Dregressions.c39 void reply_to_parent(seL4_Word result)
41 void reply_to_parent(seL4_Word result) function

Completed in 28 milliseconds