generic/simple_pager.h | raw changeset files shortlog |
1.1 --- a/generic/simple_pager.h Sun Apr 11 19:34:07 2021 +0200 1.2 +++ b/generic/simple_pager.h Mon Apr 12 00:33:14 2021 +0200 1.3 @@ -22,7 +22,7 @@ 1.4 1.5 /* Paging methods. */ 1.6 1.7 - long map(offset_t offset, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region); 1.8 + long map(offset_t offset, address_t hot_spot, flags_t flags, l4_snd_fpage_t *region); 1.9 1.10 long info(offset_t *size, flags_t *flags); 1.11 };