1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Meta cache partition manipulation.
5 * Copyright 2010 Imagination Technologies Ltd.
8 #ifndef _METAG_CACHEPART_H_
9 #define _METAG_CACHEPART_H_
12 * get_dcache_size() - Get size of data cache.
14 unsigned int get_dcache_size(void);
17 * get_icache_size() - Get size of code cache.
19 unsigned int get_icache_size(void);
22 * get_global_dcache_size() - Get the thread's global dcache.
24 * Returns the size of the current thread's global dcache partition.
26 unsigned int get_global_dcache_size(void);
29 * get_global_icache_size() - Get the thread's global icache.
31 * Returns the size of the current thread's global icache partition.
33 unsigned int get_global_icache_size(void);
36 * check_for_dache_aliasing() - Ensure that the bootloader has configured the
37 * dache and icache properly to avoid aliasing
38 * @thread_id: Hardware thread ID
41 void check_for_cache_aliasing(int thread_id);