/*
|
* SPDX-License-Identifier: GPL-2.0
|
*
|
* Copyright (C) 2020 Philippe Gerum <rpm@xenomai.org>
|
*/
|
|
#ifndef _COBALT_KERNEL_DOVETAIL_MACHINE_H
|
#define _COBALT_KERNEL_DOVETAIL_MACHINE_H
|
|
#include <linux/percpu.h>
|
|
#ifdef CONFIG_FTRACE
|
#define boot_lat_trace_notice "[LTRACE]"
|
#else
|
#define boot_lat_trace_notice ""
|
#endif
|
|
struct vm_area_struct;
|
|
struct cobalt_machine {
|
const char *name;
|
int (*init)(void);
|
int (*late_init)(void);
|
void (*cleanup)(void);
|
void (*prefault)(struct vm_area_struct *vma);
|
const char *const *fault_labels;
|
};
|
|
extern struct cobalt_machine cobalt_machine;
|
|
struct cobalt_machine_cpudata {
|
unsigned int faults[32];
|
};
|
|
DECLARE_PER_CPU(struct cobalt_machine_cpudata, cobalt_machine_cpudata);
|
|
struct cobalt_pipeline {
|
#ifdef CONFIG_SMP
|
cpumask_t supported_cpus;
|
#endif
|
};
|
|
int pipeline_init(void);
|
|
int pipeline_late_init(void);
|
|
void pipeline_cleanup(void);
|
|
extern struct cobalt_pipeline cobalt_pipeline;
|
|
#endif /* !_COBALT_KERNEL_IPIPE_MACHINE_H */
|
