Constant VMM_PF_FLAG_FAULT_MASK 

pub const VMM_PF_FLAG_FAULT_MASK: uint = 96;