BenchReset

Clears the kernel's benchmark counters (CONFIG_ZUZU_BENCH builds only; a no-op otherwise).

Library helper

Implemented in zuzu.h on top of the syscalls; it has no syscall number of its own.

void BenchReset(void);