Changeset View

Standalone View

	Show All 37 Lines
	typedef int (*pcpu_bp_harden)(void);			typedef int (*pcpu_bp_harden)(void);
	typedef int (*pcpu_ssbd)(int);			typedef int (*pcpu_ssbd)(int);
	struct debug_monitor_state;			struct debug_monitor_state;

	#define PCPU_MD_FIELDS \			#define PCPU_MD_FIELDS \
	u_int pc_acpi_id; /* ACPI CPU id */ \			u_int pc_acpi_id; /* ACPI CPU id */ \
	u_int pc_midr; /* stored MIDR value */ \			u_int pc_midr; /* stored MIDR value */ \
	uint64_t pc_clock; \			uint64_t pc_clock; \
				void *pc_vcpu; \
	pcpu_bp_harden pc_bp_harden; \			pcpu_bp_harden pc_bp_harden; \
	pcpu_ssbd pc_ssbd; \			pcpu_ssbd pc_ssbd; \
	struct pmap *pc_curpmap; \			struct pmap *pc_curpmap; \
	struct pmap *pc_curvmpmap; \			struct pmap *pc_curvmpmap; \
	u_int pc_bcast_tlbi_workaround; \			u_int pc_bcast_tlbi_workaround; \
	u_int pc_mpidr; /* stored MPIDR value */ \			u_int pc_mpidr; /* stored MPIDR value */ \
	char __pad[201]			char __pad[201]

	Show All 28 Lines