[][src]Type Definition efi_ffi::INT64

type INT64 = i64;