diff options
Diffstat (limited to 'extras/mini-os/include/mm.h')
| -rw-r--r-- | extras/mini-os/include/mm.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/extras/mini-os/include/mm.h b/extras/mini-os/include/mm.h index a9c0f2c181..4319fa2640 100644 --- a/extras/mini-os/include/mm.h +++ b/extras/mini-os/include/mm.h @@ -57,6 +57,9 @@ void arch_init_demand_mapping_area(unsigned long max_pfn); void arch_init_mm(unsigned long* start_pfn_p, unsigned long* max_pfn_p); void arch_init_p2m(unsigned long max_pfn_p); -void *map_frames(unsigned long *f, unsigned long n); +/* map f[i*stride]+i*increment for i in 0..n-1, aligned on alignment pages */ +void *map_frames_ex(unsigned long *f, unsigned long n, unsigned long stride, + unsigned long increment, unsigned long alignment, domid_t id, + int may_fail, unsigned long prot); #endif /* _MM_H_ */ |