Searched refs:supports_extension (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/tools/riscv-pk/machine/
H A Dminit.c28 if (supports_extension('D') || supports_extension('F'))
32 if (supports_extension('S'))
40 if (supports_extension('S'))
47 if (!supports_extension('S'))
59 if (supports_extension('H')) {
71 if (!supports_extension('D') && !supports_extension('F'))
H A Dmtrap.h24 static inline int supports_extension(char ext) function
H A Dmtrap.c182 if (supports_extension('H')) {

Completed in 32 milliseconds