path: root/include/odp/arch/power64-linux/odp/api/abi/timer_types.h

/* SPDX-License-Identifier: BSD-3-Clause
 * Copyright (c) 2017-2018 Linaro Limited
 */

#include <odp/api/abi-default/timer_types.h>