Constant K_SYSCALL_PULSE_IO_TRANSMIT_SYNC 

pub const K_SYSCALL_PULSE_IO_TRANSMIT_SYNC: u32 = 509;