Constant SMC_SFEXEC 

pub const SMC_SFEXEC: u32 = 9u32;