1/*
2 * Meta cache partition manipulation.
3 *
4 * Copyright 2010 Imagination Technologies Ltd.
5 */
6
7#ifndef _METAG_CACHEPART_H_
8#define _METAG_CACHEPART_H_
9
10/**
11 * get_dcache_size() - Get size of data cache.
12 */
13unsigned int get_dcache_size(void);
14
15/**
16 * get_icache_size() - Get size of code cache.
17 */
18unsigned int get_icache_size(void);
19
20/**
21 * get_global_dcache_size() - Get the thread's global dcache.
22 *
23 * Returns the size of the current thread's global dcache partition.
24 */
25unsigned int get_global_dcache_size(void);
26
27/**
28 * get_global_icache_size() - Get the thread's global icache.
29 *
30 * Returns the size of the current thread's global icache partition.
31 */
32unsigned int get_global_icache_size(void);
33
34/**
35 * check_for_dache_aliasing() - Ensure that the bootloader has configured the
36 * dache and icache properly to avoid aliasing
37 * @thread_id: Hardware thread ID
38 *
39 */
40void check_for_cache_aliasing(int thread_id);
41
42#endif
43