sel4_sys

Function seL4_DebugNameThread

Source 
pub fn seL4_DebugNameThread(
    tcb: seL4_CPtr,
    name: &[u8],
    ipc_buffer: &mut seL4_IPCBuffer,
)