arch_cpu_release
cnt = arch_cpu_release(buf, count);
extern ssize_t arch_cpu_release(const char *, size_t);