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

/seL4-master/include/arch/riscv/arch/machine/
A D	fpu.h	38 asm volatile("csrs sstatus, %0" :: "rK"(SSTATUS_FS_CLEAN)); in set_fs_clean() 171 sstatus |= SSTATUS_FS_CLEAN; in set_tcb_fs_state()
A D	hardware.h	19 #define SSTATUS_FS_CLEAN 0x00004000 macro

Completed in 4 milliseconds

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