Type Definition kernel_hal::user::UserInOutPtr

type UserInOutPtr<T> = UserPtr<T, InOut>;