> time_t is only one example.  There are similar problems with the
> handling of struct target_iovec.  There are still other places with
> similar problems.
>
> Yes, special casing can work.  There's the possible problem of value
> truncation when moving between 32 and 64 bits.

My point is that I expect there the be sufficiently many special cases that 
you can't simply rely on get_user() doing the right thing, even if you 
have "proper" types everywhere.

It's also unclear whether sign extensions should depend on host or guest 
properties.

Paul


Reply via email to