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