Cache functionality

Functions
void	l4_imb (void)
	Instruction memory barrier.
void	l4_sys_cache_clean_range (unsigned long start, unsigned long end)
	Instruction memory barrier.

---

Function Documentation

void l4_sys_cache_clean_range	(	unsigned long	start,
		unsigned long	end
	)			[inline]

Instruction memory barrier.

Implemenations.

Parameters:

	start	Start of range
	end	End of range

Definition at line 48 of file cache.h.