Since ``user/user.h`` depends on types defined in ``kernel/types.h``, shouldn't it ``#include`` that file?
Since
user/user.hdepends on types defined inkernel/types.h, shouldn't it#includethat file?