blob: ee235f3440499deac05ce31493819f6e32155b4f [file] [log] [blame]
#include "64/syscallent.h"
[244] = { 1, 0, SEN(printargs), "cmpxchg_badaddr" },
[245] = { 3, 0, SEN(printargs), "cacheflush" },
[246 ... 259] = { },