/kernel/trunk/generic/src/ddi/ddi.c |
---|
65,8 → 65,11 |
cap_t caps; |
task_t *t; |
int flags; |
mem_backend_data_t backend_data = { .d1 = (__native) pf, .d2 = (__native) pages }; |
mem_backend_data_t backend_data; |
backend_data.base = pf; |
backend_data.frames = pages; |
/* |
* Make sure the caller is authorised to make this syscall. |
*/ |