x86 performance monitor (definition)