/*
 * Copyright (c) 2023, NVIDIA Corporation & AFFILIATES. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#ifndef __USER_CUSTOM_H__
#define __USER_CUSTOM_H__

#include <stdint.h>

typedef uint64_t clock_t;

#endif
