49 |
error_t container_class_init (); |
error_t container_class_init (); |
50 |
|
|
51 |
/* Allocate a new container object covering the NR_FPAGES fpages |
/* Allocate a new container object covering the NR_FPAGES fpages |
52 |
listed in FPAGES. The object is locked and has one reference. */ |
listed in FPAGES. The object returned is locked and has one |
53 |
|
reference. */ |
54 |
error_t container_alloc (l4_word_t nr_fpages, l4_word_t *fpages, |
error_t container_alloc (l4_word_t nr_fpages, l4_word_t *fpages, |
55 |
hurd_cap_obj_t *r_obj); |
hurd_cap_obj_t *r_obj); |