l4linux2.4 System Call Emulation question

[Andrew Davenport]

Hi,

where in l4 does an exception (int 0x80) get trapped and turned into an
appropriate l4 ipc and sent to l4linux? for instance:

if (from an l4linux program), i do a system call like this (in assembly)


    mov bx, 0x20
    mov ax, 0x10
    int 0x80

where will i see 0x10 and 0x20 (the syscall parameters) inside the l4 IPC ??


Thanks very much in advance
-andrew