diff options
Diffstat (limited to 'platform/platform_interface.h')
| -rw-r--r-- | platform/platform_interface.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/platform/platform_interface.h b/platform/platform_interface.h index f083085..203457d 100644 --- a/platform/platform_interface.h +++ b/platform/platform_interface.h @@ -20,10 +20,6 @@ const char *platform__get_logo(void); /* Returns TRUE if it's valid to use the HTIF */ int platform__use_htif(void); -/* The harts that should be excluded from booting to the target program and - * should intsead be held in a loop. */ -extern long platform__disabled_hart_mask; - #endif #endif |