Rev 3121 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3121 | Rev 3424 | ||
|---|---|---|---|
| Line 51... | Line 51... | ||
| 51 | thread_id_t tid; |
51 | thread_id_t tid; |
| 52 | // ipc_call_t call; |
52 | // ipc_call_t call; |
| 53 | 53 | ||
| 54 | done = 0; |
54 | done = 0; |
| 55 | 55 | ||
| 56 | asm ( |
56 | // asm ( |
| 57 | "trap" |
57 | // "trap" |
| 58 | ); |
58 | // ); |
| 59 | 59 | ||
| 60 | /* while(1) { |
60 | /* while(1) { |
| 61 | printf("."); |
61 | printf("."); |
| 62 | ipc_wait_for_call(&call); |
62 | ipc_wait_for_call(&call); |
| 63 | }*/ |
63 | }*/ |