34 |
|
|
35 |
|
|
36 |
void |
void |
37 |
physmem_map (l4_thread_id_t physmem, hurd_cap_id_t cont, |
physmem_map (l4_thread_id_t physmem, hurd_cap_handle_t cont, |
38 |
l4_word_t offset, l4_word_t size, void *vaddr) |
l4_word_t offset, l4_word_t size, void *vaddr) |
39 |
{ |
{ |
40 |
l4_msg_t msg; |
l4_msg_t msg; |
69 |
/* First map in the startup code from physmem, instead of having it |
/* First map in the startup code from physmem, instead of having it |
70 |
mapped via the starter task. FIXME: Consider using physmem as |
mapped via the starter task. FIXME: Consider using physmem as |
71 |
our pager via a specially marked container (see TODO). */ |
our pager via a specially marked container (see TODO). */ |
72 |
physmem_map (startup->startup.server, startup->startup.cap_id, |
physmem_map (startup->startup.server, startup->startup.cap_handle, |
73 |
L4_FPAGE_FULLY_ACCESSIBLE, HURD_STARTUP_SIZE, |
L4_FPAGE_FULLY_ACCESSIBLE, HURD_STARTUP_SIZE, |
74 |
HURD_STARTUP_ADDR); |
HURD_STARTUP_ADDR); |
75 |
|
|
77 |
{ |
{ |
78 |
struct hurd_startup_map *mapv = &startup->mapv[i]; |
struct hurd_startup_map *mapv = &startup->mapv[i]; |
79 |
|
|
80 |
physmem_map (mapv->cont.server, mapv->cont.cap_id, |
physmem_map (mapv->cont.server, mapv->cont.cap_handle, |
81 |
mapv->offset, mapv->size, mapv->vaddr); |
mapv->offset, mapv->size, mapv->vaddr); |
82 |
} |
} |
83 |
|
|