1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495 |
- /* SPDX-License-Identifier: GPL-2.0 */
- /*
- * Copyright (C) 2015 Regents of the University of California
- * Copyright (c) 2020 Western Digital Corporation or its affiliates.
- *
- * Taken from Linux arch/riscv/include/asm/sbi.h
- */
- #ifndef _ASM_RISCV_SBI_H
- #define _ASM_RISCV_SBI_H
- #include <linux/types.h>
- enum sbi_ext_id {
- SBI_EXT_0_1_SET_TIMER = 0x0,
- SBI_EXT_0_1_CONSOLE_PUTCHAR = 0x1,
- SBI_EXT_0_1_CONSOLE_GETCHAR = 0x2,
- SBI_EXT_0_1_CLEAR_IPI = 0x3,
- SBI_EXT_0_1_SEND_IPI = 0x4,
- SBI_EXT_0_1_REMOTE_FENCE_I = 0x5,
- SBI_EXT_0_1_REMOTE_SFENCE_VMA = 0x6,
- SBI_EXT_0_1_REMOTE_SFENCE_VMA_ASID = 0x7,
- SBI_EXT_0_1_SHUTDOWN = 0x8,
- SBI_EXT_BASE = 0x10,
- SBI_EXT_TIME = 0x54494D45,
- SBI_EXT_IPI = 0x735049,
- SBI_EXT_RFENCE = 0x52464E43,
- };
- enum sbi_ext_base_fid {
- SBI_EXT_BASE_GET_SPEC_VERSION = 0,
- SBI_EXT_BASE_GET_IMP_ID,
- SBI_EXT_BASE_GET_IMP_VERSION,
- SBI_EXT_BASE_PROBE_EXT,
- SBI_EXT_BASE_GET_MVENDORID,
- SBI_EXT_BASE_GET_MARCHID,
- SBI_EXT_BASE_GET_MIMPID,
- };
- enum sbi_ext_time_fid {
- SBI_EXT_TIME_SET_TIMER = 0,
- };
- enum sbi_ext_ipi_fid {
- SBI_EXT_IPI_SEND_IPI = 0,
- };
- enum sbi_ext_rfence_fid {
- SBI_EXT_RFENCE_REMOTE_FENCE_I = 0,
- SBI_EXT_RFENCE_REMOTE_SFENCE_VMA,
- SBI_EXT_RFENCE_REMOTE_SFENCE_VMA_ASID,
- };
- #define SBI_SPEC_VERSION_DEFAULT 0x1
- #define SBI_SPEC_VERSION_MAJOR_SHIFT 24
- #define SBI_SPEC_VERSION_MAJOR_MASK 0x7f
- #define SBI_SPEC_VERSION_MINOR_MASK 0xffffff
- /* SBI return error codes */
- #define SBI_SUCCESS 0
- #define SBI_ERR_FAILURE -1
- #define SBI_ERR_NOT_SUPPORTED -2
- #define SBI_ERR_INVALID_PARAM -3
- #define SBI_ERR_DENIED -4
- #define SBI_ERR_INVALID_ADDRESS -5
- extern unsigned long sbi_spec_version;
- struct sbiret {
- long error;
- long value;
- };
- struct sbiret sbi_ecall(int ext, int fid, unsigned long arg0,
- unsigned long arg1, unsigned long arg2,
- unsigned long arg3, unsigned long arg4,
- unsigned long arg5);
- void sbi_console_putchar(int ch);
- int sbi_console_getchar(void);
- void sbi_clear_ipi(void);
- void sbi_shutdown(void);
- void sbi_set_timer(uint64_t stime_value);
- void sbi_send_ipi(const unsigned long *hart_mask);
- void sbi_remote_fence_i(const unsigned long *hart_mask);
- void sbi_remote_sfence_vma(const unsigned long *hart_mask,
- unsigned long start,
- unsigned long size);
- void sbi_remote_sfence_vma_asid(const unsigned long *hart_mask,
- unsigned long start,
- unsigned long size,
- unsigned long asid);
- int sbi_probe_extension(int ext);
- #endif
|