kernel/time: Change get_curthread_cputime() to get_thread_cputime().
commit63791ce0be6e9d8c9b55b552cfbc294d8138e9bc
authorSascha Wildner <saw@online.de>
Wed, 26 Jul 2017 12:05:42 +0000 (26 14:05 +0200)
committerSascha Wildner <saw@online.de>
Wed, 26 Jul 2017 12:06:00 +0000 (26 14:06 +0200)
treec55ea5a569b14e79b15f274d53d284dedb13fc4d
parent2ba00ac3e547486e4f7ced1a865890a431ea66d2
kernel/time: Change get_curthread_cputime() to get_thread_cputime().
sys/kern/kern_time.c