Constant seL4_VMFault_Addr 

pub const seL4_VMFault_Addr: Type = 1;