Constant K_SYSCALL_WDT_SETUP 

pub const K_SYSCALL_WDT_SETUP: u32 = 637;