Function seL4_DebugNameThread 

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