Constant seL4_Fault_NullFault 

pub const seL4_Fault_NullFault: u64 = 0;