linux/arch/x86/include/asm/intel_ds.h

#ifndef _ASM_INTEL_DS_H
#define _ASM_INTEL_DS_H

#include <linux/percpu-defs.h>

#define BTS_BUFFER_SIZE …
#define PEBS_BUFFER_SIZE …

/* The maximal number of PEBS events: */
#define MAX_PEBS_EVENTS_FMT4 …
#define MAX_PEBS_EVENTS …
#define MAX_PEBS_EVENTS_MASK …
#define MAX_FIXED_PEBS_EVENTS …

/*
 * A debug store configuration.
 *
 * We only support architectures that use 64bit fields.
 */
struct debug_store { … } __aligned(…);

DECLARE_PER_CPU_PAGE_ALIGNED(struct debug_store, cpu_debug_store);

struct debug_store_buffers { … };

#endif