__USER_TEXT
void *pong_thread(void *arg)
{
L4_MsgTag_t tag;
L4_Msg_t msg;
while (1) {
tag = L4_Receive_Timeout(threads[PING_THREAD],
L4_TimePeriod(1000 * 1000));
L4_MsgStore(tag, &msg);
if (!L4_IpcSucceeded(tag)) {
printf("%p: recv ipc fails\n", L4_MyGlobalId());
printf("%p: ErrorCode = 0x%x\n", L4_MyGlobalId(), L4_ErrorCode());
}
}
}
__USER_TEXT
void *pong_thread(void *arg)
{
L4_MsgTag_t tag;
L4_Msg_t msg;
while (1) {
tag = L4_Receive_Timeout(threads[PING_THREAD],
L4_TimePeriod(1000 * 1000));
L4_MsgStore(tag, &msg);
if (!L4_IpcSucceeded(tag)) {
printf("%p: recv ipc fails\n", L4_MyGlobalId());
printf("%p: ErrorCode = 0x%x\n", L4_MyGlobalId(), L4_ErrorCode());
}
/* FIXME: workaround solution to avoid scheduler starvation */
L4_Sleep(L4_TimePeriod(500 * 1000));
}
}
__USER_TEXT
void *ping_thread(void *arg)
{
L4_Msg_t msg;
L4_MsgTag_t tag;
L4_MsgClear(&msg);
L4_MsgLoad(&msg);
while (1) {
tag = L4_Send_Timeout(threads[PONG_THREAD],
L4_TimePeriod(1000 * 1000));
if (!L4_IpcSucceeded(tag)) {
printf("%p: send ipc fails\n", L4_MyGlobalId());
printf("%p: ErrorCode = 0x%x\n", L4_MyGlobalId(), L4_ErrorCode());
}
}
}
/* poke/peek thread. obeys POKE, PEEK, and QUIT. */
static void poke_peek_fn(void *param_ptr)
{
#if 0
diag("%s: started as %lu:%lu. pager is %#lx", __func__,
L4_ThreadNo(L4_MyGlobalId()), L4_Version(L4_MyGlobalId()),
L4_Pager());
#endif
for(;;) {
L4_ThreadId_t from;
L4_MsgTag_t tag = L4_Wait(&from);
for(;;) {
if(L4_IpcFailed(tag)) break;
if(tag.X.label == QUIT_LABEL) {
// diag("%s: quitting", __func__);
return;
} else if(tag.X.label == PEEK_LABEL) {
L4_Word_t addr;
L4_StoreMR(1, &addr);
L4_LoadMR(0, (L4_MsgTag_t){ .X.u = 1 }.raw);
L4_LoadMR(1, *(uint8_t *)addr);
} else if(tag.X.label == POKE_LABEL) {
