Branch data Line data Source code
1 : : // SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
2 : : /*
3 : : * Copyright 2013-2018 IBM Corp.
4 : : *
5 : : * A dummy cpu.h for tests.
6 : : * We don't want to include the real skiboot cpu.h, it's PPC-specific
7 : : */
8 : :
9 : : #ifndef __CPU_H
10 : : #define __CPU_H
11 : :
12 : : #include <stdint.h>
13 : : #include <stdbool.h>
14 : :
15 : : static unsigned int cpu_max_pir = 1;
16 : : struct cpu_thread {
17 : : unsigned int chip_id;
18 : : };
19 : : struct cpu_job *__cpu_queue_job(struct cpu_thread *cpu,
20 : : const char *name,
21 : : void (*func)(void *data), void *data,
22 : : bool no_return);
23 : 0 : static inline struct cpu_job *cpu_queue_job(struct cpu_thread *cpu,
24 : : const char *name,
25 : : void (*func)(void *data),
26 : : void *data)
27 : : {
28 : 0 : return __cpu_queue_job(cpu, name, func, data, false);
29 : : }
30 : : void cpu_wait_job(struct cpu_job *job, bool free_it);
31 : : void cpu_process_local_jobs(void);
32 : : struct cpu_job *cpu_queue_job_on_node(uint32_t chip_id,
33 : : const char *name,
34 : : void (*func)(void *data), void *data);
35 : : #endif /* __CPU_H */
|