42 |
void switch_thread (l4_thread_id_t from, l4_thread_id_t to); |
void switch_thread (l4_thread_id_t from, l4_thread_id_t to); |
43 |
|
|
44 |
|
|
45 |
/* Deva objects. */ |
/* Device objects. */ |
46 |
|
|
47 |
/* Initialize the task class subsystem. */ |
/* Initialize the device class subsystem. */ |
48 |
error_t deva_class_init (); |
error_t device_class_init (); |
49 |
|
|
50 |
/* Allocate a new deva object. The object returned is locked and has |
enum device_type |
51 |
one reference. */ |
{ |
52 |
error_t deva_alloc (hurd_cap_obj_t *r_obj); |
DEVICE_CONSOLE = 0, |
53 |
|
DEVICE_SERIAL = 1 |
54 |
|
}; |
55 |
|
|
56 |
|
/* Allocate a new device object. The object returned is locked and |
57 |
|
has one reference. */ |
58 |
|
error_t device_alloc (hurd_cap_obj_t *r_obj, enum device_type type); |