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,
)