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