Constant K_SYSCALL_K_THREAD_DEADLINE_SET 

pub const K_SYSCALL_K_THREAD_DEADLINE_SET: u32 = 87;