microkernel
microkernel copied to clipboard
[perf] No Hardcoded Counter for Kernel Stats
Description
Currently, we are using a hardcoded performance counter to run kstats()
. We should be more flexible than this and use a macro-defined counter instead.