pub unsafe extern "C" fn zx_vcpu_create(
    guest: u32,
    options: u32,
    entry: usize,
    out: *mut u32
) -> i32