Searched refs:io_read64 (Results 1 – 3 of 3) sorted by relevance

/optee_os-3.20.0/core/arch/riscv/include/kernel/
A D	clint.h	43 return io_read64(CLINT_MTIMECMP(get_core_pos())); in clint_get_mtimecmp() 48 return io_read64(CLINT_MTIME); in clint_get_mtime()
/optee_os-3.20.0/core/arch/riscv/plat-spike/drivers/
A D	htif.c	42 while (io_read64(base)) in tohost_cmd()
/optee_os-3.20.0/core/include/
A D	io.h	58 static inline uint64_t io_read64(vaddr_t addr) in io_read64() function

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023