diff options
Diffstat (limited to 'include/sbi')
| -rw-r--r-- | include/sbi/sbi_platform.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/sbi/sbi_platform.h b/include/sbi/sbi_platform.h index 8087148..f51e36a 100644 --- a/include/sbi/sbi_platform.h +++ b/include/sbi/sbi_platform.h @@ -40,12 +40,12 @@ #ifndef __ASSEMBLY__ -#include <sbi/sbi_ecall.h> #include <sbi/sbi_error.h> #include <sbi/sbi_scratch.h> -#include <sbi/sbi_trap.h> #include <sbi/sbi_version.h> +struct sbi_trap_info; + /** Possible feature flags of a platform */ enum sbi_platform_features { /** Platform has timer value */ |