1
/* cp15-cleanall-dcache.c
6
Copyright (C) 2009 Marc Singer
8
This program is free software; you can redistribute it and/or
9
modify it under the terms of the GNU General Public License
10
version 2 as published by the Free Software Foundation.
11
Please refer to the file debian/copyright for further details.
22
void cleanall_dcache (void)