small questions regarding JDB ipc call trace

[jaeyong yoo]

Hello!

Here goes an example line of jdb IPC call trace output:

    ipc: 04df repl->[C:INV] DID=ffffffff L=0 [00000000] (00000000,00000000)
TO=0/0
    ipc: 045f call ipc->[C:205003] DID=40d L=0 [0000000b]
(00000fb0,00000003) TO=INF/INF

I have looked through the fiasco source code that generates this output and
figured out that

    L=0 is the label of message
    [00000000] is the tag of the message
    (00000fb0,00000003) is the first two words of the message

My questions are:
1) I observe most labels are zero in the output. I think genode defines
label 0 as invalid capability, then this value looks like not correct?

2) What is the tag of the message?

3) By any chance, the second word of the message is the opcode? (Since I
would like to know the opcode in IPC, that is my wish)

Best regards
Jaeyong
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20130115/c1ac89f0/attachment.html>