fw_writes_is_enabled
if (!fw_writes_is_enabled(pmu_to_vcpu(pmu)))
intercept || !fw_writes_is_enabled(vcpu));