genode/repos/base/include/cpu/cache.h

/*
 * \brief  Cache operations
 * \author Christian Prochaska
 * \date   2014-05-13
 */

/*
 * Copyright (C) 2014-2017 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU Affero General Public License version 3.
 */

#ifndef _INCLUDE__CPU__CACHE_H_
#define _INCLUDE__CPU__CACHE_H_

#include <base/stdint.h>

namespace Genode {

	/*
	 * Make D-Cache and I-Cache coherent
	 */
	void cache_coherent(Genode::addr_t addr, Genode::size_t size);
}

#endif /* _INCLUDE__CPU__CACHE_H_ */
base: interface for D- and I-cache synchronization On ARM, when machine instructions get written into the data cache (for example by a JIT compiler), one needs to make sure that the instructions get written out to memory and read from memory into the instruction cache before they get executed. This functionality is usually provided by a kernel syscall and this patch adds a generic interface for Genode applications to use it. Fixes #1153. 2014-05-20 20:52:56 +00:00			`/*`
			`* \brief Cache operations`
			`* \author Christian Prochaska`
			`* \date 2014-05-13`
			`*/`

			`/*`
Adjust file headers to refer to the AGPLv3 2017-02-20 12:23:52 +00:00			`* Copyright (C) 2014-2017 Genode Labs GmbH`
base: interface for D- and I-cache synchronization On ARM, when machine instructions get written into the data cache (for example by a JIT compiler), one needs to make sure that the instructions get written out to memory and read from memory into the instruction cache before they get executed. This functionality is usually provided by a kernel syscall and this patch adds a generic interface for Genode applications to use it. Fixes #1153. 2014-05-20 20:52:56 +00:00			`*`
			`* This file is part of the Genode OS framework, which is distributed`
Adjust file headers to refer to the AGPLv3 2017-02-20 12:23:52 +00:00			`* under the terms of the GNU Affero General Public License version 3.`
base: interface for D- and I-cache synchronization On ARM, when machine instructions get written into the data cache (for example by a JIT compiler), one needs to make sure that the instructions get written out to memory and read from memory into the instruction cache before they get executed. This functionality is usually provided by a kernel syscall and this patch adds a generic interface for Genode applications to use it. Fixes #1153. 2014-05-20 20:52:56 +00:00			`*/`

			`#ifndef _INCLUDE__CPU__CACHE_H_`
			`#define _INCLUDE__CPU__CACHE_H_`

			`#include <base/stdint.h>`

			`namespace Genode {`

			`/*`
			`* Make D-Cache and I-Cache coherent`
			`*/`
			`void cache_coherent(Genode::addr_t addr, Genode::size_t size);`
			`}`

			`#endif /* _INCLUDE__CPU__CACHE_H_ */`