Changeset View

Standalone View

	Show All 30 Lines
	#define _MACHINE_PCPU_H_			#define _MACHINE_PCPU_H_

	#include <machine/cpu.h>			#include <machine/cpu.h>
	#include <machine/cpufunc.h>			#include <machine/cpufunc.h>

	#define ALT_STACK_SIZE 128			#define ALT_STACK_SIZE 128

	typedef int (*pcpu_bp_harden)(void);			typedef int (*pcpu_bp_harden)(void);
				typedef int (*pcpu_ssbd)(bool);

	#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; \
	pcpu_bp_harden pc_bp_harden; \			pcpu_bp_harden pc_bp_harden; \
	char __pad[233]			pcpu_ssbd pc_ssbd; \
				char __pad[225]

	#ifdef _KERNEL			#ifdef _KERNEL

	struct pcb;			struct pcb;
	struct pcpu;			struct pcpu;

	static inline struct pcpu *			static inline struct pcpu *
	get_pcpu(void)			get_pcpu(void)
	Show All 27 Lines