1 /*
2  * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef _PICO_INT64_OPS_H
8 #define _PICO_INT64_OPS_H
9 
10 #include "pico/types.h"
11 
12 /** \file int64_ops.h
13  *  \defgroup pico_int64_ops pico_int64_ops
14  *
15  * \brief Optimized replacement implementations of the compiler built-in 64 bit multiplication
16  *
17  * This library does not provide any additional functions
18 */
19 
20 #endif