[Barrelfish-users] How Barrelfish Manage MPB on SCC?

[Shi Jinghao]

Hi,

I have a few questions about MPB management on SCC.

1. In /kernel/arch/scc/rck.c, there are some functions which seems not
defined, such as rck_tas_rd_raw, rck_initialize, etc. Although I can see
that they are wraps of low level assembly code, but I can not find their
definition anywhere in the source tree. Can someone kindly point it out?

2. I know that RCK inter-connect driver use MPB as notification buffer, but
I didn't find the code that manage this MPB space. Can someone point out
where the RCK backend is implemented? I was also wondering how much MPB
space is left and whether user application can touch these left MPB space.

Thanks in advance !

Regards,
Jinghao
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120607/aea0b62b/attachment.html