/*
 * Copyright 2021, Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 */


#define SBI_SYSCALL(name, eid, fid) \
.globl name; \
.type name,%function; \
name: \
	li a7, eid; \
	li a6, fid; \
	ecall; \
	ret; \
.size	name, .-name

#define SBI_SYSCALL_LEGACY(name, eid) \
.globl name; \
.type name,%function; \
name: \
	li a7, eid; \
	ecall; \
	ret; \
.size	name, .-name


SBI_SYSCALL(sbi_get_spec_version, 0x10, 0)
SBI_SYSCALL(sbi_get_impl_id,      0x10, 1)
SBI_SYSCALL(sbi_get_impl_version, 0x10, 2)
SBI_SYSCALL(sbi_probe_extension,  0x10, 3)
SBI_SYSCALL(sbi_get_mvendorid,    0x10, 4)
SBI_SYSCALL(sbi_get_marchid,      0x10, 5)
SBI_SYSCALL(sbi_get_mimpid,       0x10, 6)

SBI_SYSCALL_LEGACY(sbi_set_timer_legacy,              0)
SBI_SYSCALL_LEGACY(sbi_console_putchar_legacy,        1)
SBI_SYSCALL_LEGACY(sbi_console_getchar_legacy,        2)
SBI_SYSCALL_LEGACY(sbi_clear_ipi_legacy,              3)
SBI_SYSCALL_LEGACY(sbi_send_ipi_legacy,               4)
SBI_SYSCALL_LEGACY(sbi_remote_fence_i_legacy,         5)
SBI_SYSCALL_LEGACY(sbi_remote_sfence_vma_legacy,      6)
SBI_SYSCALL_LEGACY(sbi_remote_sfence_vma_asid_legacy, 7)
SBI_SYSCALL_LEGACY(sbi_shutdown_legacy,               8)

SBI_SYSCALL(sbi_set_timer, 0x54494D45, 0)

SBI_SYSCALL(sbi_send_ipi, 0x735049, 0)

SBI_SYSCALL(sbi_remote_fence_i,          0x52464E43, 0)
SBI_SYSCALL(sbi_remote_sfence_vma,       0x52464E43, 1)
SBI_SYSCALL(sbi_remote_sfence_vma_asid,  0x52464E43, 2)
SBI_SYSCALL(sbi_remote_hfence_gvma_vmid, 0x52464E43, 3)
SBI_SYSCALL(sbi_remote_hfence_gvma,      0x52464E43, 4)
SBI_SYSCALL(sbi_remote_hfence_vvma_asid, 0x52464E43, 5)
SBI_SYSCALL(sbi_remote_hfence_vvma,      0x52464E43, 6)

SBI_SYSCALL(sbi_hart_start,      0x48534D, 0)
SBI_SYSCALL(sbi_hart_stop,       0x48534D, 1)
SBI_SYSCALL(sbi_hart_get_status, 0x48534D, 2)
SBI_SYSCALL(sbi_hart_suspend,    0x48534D, 3)

SBI_SYSCALL(sbi_system_reset,    0x53525354, 0)