kernel_thread::syscall::thread

Function sys_gettid

Source 
pub fn sys_gettid(task: &Sel4Task) -> SysResult
Expand description

获取线程 ID