9 lines
158 B
C
9 lines
158 B
C
// SPDX-License-Identifier: ISC
|
|
|
|
#pragma once
|
|
|
|
#include <zinnia/errno.h>
|
|
#include <stdint.h>
|
|
|
|
struct syscall_ret arch_archctl(uintptr_t op, uintptr_t value);
|