Other items inpanda_sys
pub unsafe extern "C" fn do_vmexit( env: *mut CPUX86State, exit_code: u32, exit_info_1: u64)