outhex32((int)__builtin_return_address(0)); outstring("\n");
#endif
void *resptr;
- int res = L4RE_VFS->mmap2(start, len, prot, flags, fd, offset / L4_PAGESIZE, &resptr);
+ int res = L4RE_VFS->mmap2(start, len, prot, flags, fd, offset >> 12, &resptr);
if (res >= 0)
return resptr;
else