Constant VMM_PF_FLAG_HW_FAULT 

pub const VMM_PF_FLAG_HW_FAULT: uint = 32;