| /* | |
| * Copyright (c) 2020 Raspberry Pi (Trading) Ltd. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #ifndef _PICO_INT64_H | |
| #define _PICO_INT64_H | |
| #include "pico/types.h" | |
| /** \file int64_ops.h | |
| * \defgroup pico_int64_ops pico_int64_ops | |
| * | |
| * Optimized replacement implementations of the compiler built-in 64 bit multiplication | |
| * | |
| * This library does not provide any additional functions | |
| */ | |
| #endif |