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