diff --git a/jerry-port/default/default-external-context.c b/jerry-port/default/default-external-context.c
index a5c0511e6e5636af932a837658c24455c1247dee..b2a0e11537d57521dfcca7f3ba91cf975e983af9 100644
--- a/jerry-port/default/default-external-context.c
+++ b/jerry-port/default/default-external-context.c
@@ -30,6 +30,11 @@ extern jerry_context_t *jerry_dynamic_global_context_p;
  */
 extern ContextRecord* g_contextRecords;
 
+/**
+ * obtain the task ID with the highest priority in the task readiness queue
+ */
+extern UINT32 LOS_NextTaskIDGet(VOID);
+
 void jerry_switch_context();
 
 /**