Home
last modified time | relevance | path

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

/seL4-master/include/arch/riscv/arch/machine/
A Dfpu.h16 asm volatile("csrc sstatus, %0" :: "rK"(SSTATUS_FS)); in set_fs_off()
53 return (read_sstatus() & SSTATUS_FS); in read_sstatus_fs()
169 sstatus &= ~SSTATUS_FS; in set_tcb_fs_state()
A Dhardware.h17 #define SSTATUS_FS 0x00006000 macro

Completed in 2 milliseconds