__pmcdbg_used
amd_switch_in(struct pmc_cpu *pc __pmcdbg_used, struct pmc_process *pp)
amd_switch_out(struct pmc_cpu *pc __pmcdbg_used,
struct pmc_process *pp __pmcdbg_used)
struct pmc_processhash *prh __pmcdbg_used;