#include "64/syscallent.h"
/* [244 ... 259] are arch specific */
[244] = { 1, 0, SEN(printargs), "cmpxchg_badaddr" },
[245] = { 3, 0, SEN(printargs), "cacheflush" },