Constant K_SYSCALL_COUNTER_RESET 

pub const K_SYSCALL_COUNTER_RESET: u32 = 282;