__xe_devcoredump_read
__xe_devcoredump_read(ss->read.buffer,
ss->read.size = __xe_devcoredump_read(NULL, LONG_MAX, 0, coredump);
__xe_devcoredump_read(ss->read.buffer,
__xe_devcoredump_read(ss->read.buffer, ss->read.size, 0,