2015-09-19 04:36:57 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2015 Wind River Systems, Inc.
|
|
|
|
*
|
2017-01-19 09:01:01 +08:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2015-09-19 04:36:57 +08:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _cache_private__h_
|
|
|
|
#define _cache_private__h_
|
|
|
|
|
|
|
|
#include <cache.h>
|
|
|
|
|
2016-01-23 01:38:49 +08:00
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
2015-09-19 04:36:57 +08:00
|
|
|
extern int _is_clflush_available(void);
|
|
|
|
extern void _cache_flush_wbinvd(vaddr_t, size_t);
|
|
|
|
extern size_t _cache_line_size_get(void);
|
|
|
|
|
2016-01-23 01:38:49 +08:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2015-09-19 04:36:57 +08:00
|
|
|
#endif /* _cache_private__h_ */
|