Brian Gianforcaro 0e627b0273 Kernel: Use Userspace<T> for the exit_thread syscall ...

Userspace<void*> is a bit strange here, as it would appear to the
user that we intend to de-refrence the pointer in kernel mode.

However I think it does a good join of illustrating that we are
treating the void* as a value type,  instead of a pointer type.

2020-08-10 12:52:15 +02:00

7.0 KiB

Raw Blame History

View Raw