christos ba2647ff5b pmc_evid_, pmc_ctr_t etc are defined in <machine/types.h> but are not exposed
anymore by default since they violate the userland namespace. Either we
should create __pmc types, or a separate machine/pmc.h header.
2016-01-23 21:44:55 +00:00
..