@@ -72,11 +72,10 @@ static void init_thread_fpu_state(); static pthread_t main_thread(void) { return _main_thread; } static void hotspot_sigmask(Thread* thread); - static bool is_initial_thread(void); static pid_t gettid(); static int page_size(void) { return _page_size; } static void set_page_size(int val) { _page_size = val; }