OK, this seems to only happen when using exceptions/page_fault_user, exceptions/page_fault_kernel and tlb/tlb_flush together.
One can reproduce this with perf:
sudo perf record -e exceptions:page_fault_user,exceptions:page_fault_kernel,tlb:tlb_flush sleep 1
OK, this seems to only happen when using exceptions/ page_fault_ user, exceptions/ page_fault_ kernel and tlb/tlb_flush together.
One can reproduce this with perf:
sudo perf record -e exceptions: page_fault_ user,exceptions :page_fault_ kernel, tlb:tlb_ flush sleep 1