Function zx_vcpu_kick 

pub unsafe extern "C" fn zx_vcpu_kick(handle: u32) -> i32