33 |
int output_debug; |
int output_debug; |
34 |
|
|
35 |
|
|
36 |
|
/* Send a shutdown request to the rootserver wortel. */ |
37 |
|
void |
38 |
|
shutdown (void) |
39 |
|
{ |
40 |
|
l4_msg_t msg; |
41 |
|
|
42 |
|
l4_msg_clear (&msg); |
43 |
|
/* FIXME: Hard coded message label. */ |
44 |
|
#define WORTEL_MSG_SHUTDOWN 2 |
45 |
|
l4_set_msg_label (&msg, WORTEL_MSG_SHUTDOWN); |
46 |
|
|
47 |
|
/* FIXME: This should be our cap ID. */ |
48 |
|
l4_msg_append_word (&msg, 0); |
49 |
|
|
50 |
|
/* This is some yet unspecified specifier. */ |
51 |
|
l4_msg_append_word (&msg, 0); |
52 |
|
|
53 |
|
l4_msg_load (&msg); |
54 |
|
/* FIXME: Hard coded thread ID. */ |
55 |
|
l4_send (l4_global_id (l4_thread_user_base () + 2, 1)); |
56 |
|
} |
57 |
|
|
58 |
|
|
59 |
/* Print the single character CHR on the output device. */ |
/* Print the single character CHR on the output device. */ |
60 |
int |
int |
61 |
putchar (int chr) |
putchar (int chr) |