/* | |
* 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_ */ |