diff options
Diffstat (limited to 'cacheflush.c')
| -rw-r--r-- | cacheflush.c | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/cacheflush.c b/cacheflush.c index bfbf5838..727d49bc 100644 --- a/cacheflush.c +++ b/cacheflush.c @@ -20,8 +20,7 @@ static const struct xlat cacheflush_flags[] = { XLAT_END }; -int -sys_cacheflush(struct tcb *tcp) +SYS_FUNC(cacheflush) { if (entering(tcp)) { /* addr */ @@ -46,8 +45,7 @@ static const struct xlat cacheflush_flags[] = { XLAT_END }; -int -sys_cacheflush(struct tcb *tcp) +SYS_FUNC(cacheflush) { if (entering(tcp)) { /* start addr */ @@ -78,8 +76,7 @@ static const struct xlat cacheflush_flags[] = { XLAT_END }; -int -sys_cacheflush(struct tcb *tcp) +SYS_FUNC(cacheflush) { if (entering(tcp)) { /* addr */ |