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