/* Reading from the trace_buffer. The trace buffer is two 64-bit registers. Reading from the second half automatically increments the trace_address.  */
void cbe_read_trace_buffer(u32 cpu, u64 *buf)
/* Reading from the trace_buffer. The trace buffer is two 64-bit registers. Reading from the second half automatically increments the trace_address.  */
void cbe_read_trace_buffer(u32 cpu, u64 *buf)
{
	struct cbe_pmd_regs __iomem *pmd_regs = cbe_get_cpu_pmd_regs(cpu);
	*buf++ = in_be64(&pmd_regs->trace_buffer_0_63);
	*buf++ = in_be64(&pmd_regs->trace_buffer_64_127);
}