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