[firedrake] Hardware counters for Firedrake

Hi everyone, I am very new to Firedrake, i recently switched over from FEniCS, so pardon me if this is a newbie question. If I wanted to run hardware performance counters from PAPI to diagnose my firedrake application how would I go about doing this? In FEniCS, my application was written in C++ and I included the PAPI directives and libraries in the CMakefile. With this I was able to specify where in the source code I wanted to start and stop the counters. Is there a way to somehow replicate this if my code is written using Firedrake? Thanks, Justin