Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
4973 | right-hear | 1 | #include"ipc.h" |
2 | #include |
||
3 | |||
4 | void ipc_send_message(int dst_pid,ipc_msg_t * msg) |
||
5 | { |
||
6 | int d0,d1,d2,d3,d4; |
||
7 | __asm__ __volatile__( |
||
8 | "addl $4,%%edx\n\t" |
||
9 | "int $0x40" |
||
10 | :"=a"(d0),"=b"(d1),"=c"(d2),"=d"(d3),"=S"(d4) |
||
11 | :"0"(60),"1"(2),"2"(dst_pid),"3"(msg),"4"(msg->msg_length) |
||
12 | :"memory"); |
||
13 | } |