Constant VMM_PF_FLAG_SW_FAULT 

pub const VMM_PF_FLAG_SW_FAULT: uint = 64;