Other items inpanda_sys
pub unsafe extern "C" fn cpu_rcont_check_restore( cpu: *mut CPUState, rr_instr_count: u64)