10 lines
163 B
C
10 lines
163 B
C
// SPDX-License-Identifier: ISC
|
|
|
|
#pragma once
|
|
|
|
#include <zinnia/percpu.h>
|
|
|
|
struct percpu* arch_percpu_get();
|
|
void arch_percpu_bsp_init();
|
|
void arch_percpu_init();
|