Lines Matching defs:coreid
88 static void message_request(struct rcce_binding *st, uint16_t coreid,
91 assert(!msgbuf[coreid].pending);
92 struct msg_buf *m = &msgbuf[coreid];
98 dprintf("%d: msg arrived, (%d, %lu)\n", my_core_id, coreid, size);
102 static void bulk_message_request(struct rcce_binding *b, uint16_t coreid,
107 assert(!msgbuf[coreid].pending);
108 struct msg_buf *m = &msgbuf[coreid];
137 errval_t err = barray[coreid]->tx_vtbl.
138 bulk_message_reply(barray[coreid], NOP_CONT, my_core_id, id);
143 static void message_reply(struct rcce_binding *b, uint16_t coreid)
152 static void bulk_message_reply(struct rcce_binding *b, uint16_t coreid,
172 static void bulk_recv_ready(struct rcce_binding *b, uint16_t coreid,