cmd_pmc_record
int cmd_pmc_record(int, char **);
{ "record", cmd_pmc_record, "Record a performance sample" },