Capability to integer casts on CheriBSD

[Richard Kettlewell]

On 30/10/2023 09:49, Richard Kettlewell wrote:
>    // Total length of pages
>    size_t total_length = start+offset + length + end_offset;
                            ^^^^^^^^^^^^
Should be start_offset of course.

>    return msync(start, total_length, flags);
> 
> Totally untested - the calculation should be out into a distinct 
> function so it can be unit-tested properly.

ttfn/rjk