blob: f4529633875af55bb73a5db38d8a7ad6530e6607 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#include <sys/types.h>
#include <machine/sysarch.h>
#include "dat.h"
int
segflush(void *a, ulong n)
{
struct arm_sync_icache_args args;
args.addr = (uintptr_t)a;
args.len = (size_t)n;
sysarch(ARM_SYNC_ICACHE, (void *)&args);
return 0;
}
|