1 2 3 4 5 6
/* SPDX-License-Identifier: BSD-3-Clause * Copyright (c) 2022 Nokia */ /* Inlined functions for non-ABI compat mode */ #include <odp/api/plat/timer_inlines.h>