| /* | |
| * Copyright (c) 2015 Wind River Systems, Inc. | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #ifndef ZEPHYR_ARCH_X86_INCLUDE_CACHE_PRIVATE_H_ | |
| #define ZEPHYR_ARCH_X86_INCLUDE_CACHE_PRIVATE_H_ | |
| #include <cache.h> | |
| #ifdef __cplusplus | |
| extern "C" { | |
| #endif | |
| extern int _is_clflush_available(void); | |
| extern void _cache_flush_wbinvd(vaddr_t addr, size_t len); | |
| extern size_t _cache_line_size_get(void); | |
| #ifdef __cplusplus | |
| } | |
| #endif | |
| #endif /* ZEPHYR_ARCH_X86_INCLUDE_CACHE_PRIVATE_H_ */ |