/* Write the given RDR register with the contents of the given buffer.  */
static void perf_rdr_write(uint32_t rdr_num, uint64_t *buffer)
/* Write the given RDR register with the contents of the given buffer.  */
static void perf_rdr_write(uint32_t rdr_num, uint64_t *buffer)
{
	const struct rdr_tbl_ent *tentry;
	int32_t		i;
printk("perf_rdr_write\n");
	tentry = perf_rdr_get_entry(rdr_num);
	if (tentry->width == 0) { return; }
	i = tentry->num_words;
	while (i--) {
		if (perf_processor_interface == ONYX_INTF) {
			perf_rdr_shift_out_U(rdr_num, buffer[i]);
		} else {
			perf_rdr_shift_out_W(rdr_num, buffer[i]);
		}	}
printk("perf_rdr_write done\n");
}