Constant panda_sys::RR_skipped_call_kind_RR_CALL_MEM_REGION_CHANGE [−][src]
pub const RR_skipped_call_kind_RR_CALL_MEM_REGION_CHANGE: RR_skipped_call_kind = 1;
pub const RR_skipped_call_kind_RR_CALL_MEM_REGION_CHANGE: RR_skipped_call_kind = 1;