Function sel4_sys::seL4_DebugNameThread
source · pub fn seL4_DebugNameThread(
tcb: seL4_CPtr,
name: &[u8],
ipc_buffer: &mut seL4_IPCBuffer
)pub fn seL4_DebugNameThread(
tcb: seL4_CPtr,
name: &[u8],
ipc_buffer: &mut seL4_IPCBuffer
)