// Copyright 2017 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef SRC_FIRMWARE_GIGABOOT_INCLUDE_SYS_TYPES_H_
#define SRC_FIRMWARE_GIGABOOT_INCLUDE_SYS_TYPES_H_

#include <stddef.h>

typedef size_t off_t;

typedef int ssize_t;

#endif  // SRC_FIRMWARE_GIGABOOT_INCLUDE_SYS_TYPES_H_