[userbinator]

This counter was used by the Virtual Device Driver (VMM) to manage system timers.

VMM stands for Virtual Machine Manager. AI slop strikes again.