87 int trace_log_reg(struct trace_buffer *tb, u64 reg, u64 value)  in trace_log_reg()  argument
92 	e = trace_alloc_entry(tb, sizeof(reg) + sizeof(value));  in trace_log_reg()
99 	*p++ = value;  in trace_log_reg()
104 int trace_log_counter(struct trace_buffer *tb, u64 value)  in trace_log_counter()  argument
109 	e = trace_alloc_entry(tb, sizeof(value));  in trace_log_counter()
115 	*p++ = value;  in trace_log_counter()
202 	u64 *p, *reg, *value;  in trace_print_reg()  local
207 	value = p;  in trace_print_reg()
211 		printf("register %-10s = 0x%016llx\n", name, *value);  in trace_print_reg()
213 		printf("register %lld = 0x%016llx\n", *reg, *value);  in trace_print_reg()
218 	u64 *value;  in trace_print_counter()  local
220 	value = (u64 *)e->data;  in trace_print_counter()
221 	printf("counter = %lld\n", *value);  in trace_print_counter()