Constant seL4_CapFault_Addr 

pub const seL4_CapFault_Addr: Type = 1;