SBI_EXT_DBCN_CONSOLE_WRITE_BYTE (reference) in projects: optee_os

Searched refs:SBI_EXT_DBCN_CONSOLE_WRITE_BYTE (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/arch/riscv/kernel/
H A D	sbi.c	`45 ret = sbi_ecall(SBI_EXT_DBCN, SBI_EXT_DBCN_CONSOLE_WRITE_BYTE, ch); in sbi_dbcn_write_byte()`
/optee_os/core/arch/riscv/include/
H A D	sbi.h	`86 SBI_EXT_DBCN_CONSOLE_WRITE_BYTE = 2, enumerator`