#include <errno.h>
#include <asm/unistd.h>

#define __NR_disable_cache	250
#define __NR_enable_cache	251
#define __NR_disable_cache_wt	252
#define __NR_disable_page_cache	253
#define __NR_enable_page_cache	254

_syscall0(int, disable_cache)
_syscall0(int, enable_cache)
_syscall0(int, disable_cache_wt)
_syscall1(int, disable_page_cache, void *, page)
_syscall1(int, enable_page_cache, void *, page)