X-Git-Url: https://rtime.felk.cvut.cz/gitweb/frescor/fosa.git/blobdiff_plain/e9a45fa7c5f41cb92da7c189f9fb523dea2437d0..fafa06c288371dcd3ec5170b516cb4642a2ccf86:/marte_non_local_jump/non_local_jump_test.adb

diff --git a/marte_non_local_jump/non_local_jump_test.adb b/marte_non_local_jump/non_local_jump_test.adb
index fbafc12..bde516c 100644
--- a/marte_non_local_jump/non_local_jump_test.adb
+++ b/marte_non_local_jump/non_local_jump_test.adb
@@ -22,21 +22,21 @@
 --
 --  {MAR>} -------------------------------------------------------------------
 pragma Task_Dispatching_Policy (FIFO_Within_Priorities);
-with MaRTE_OS;
 with Text_IO; use Text_IO;
 with Ada.Unchecked_Conversion;
 with System;
 with Marte.Integer_Types; use Marte.Integer_Types;
---  with Processor_Registers;
+with Marte.HAL.Processor_Registers;
 with Non_Local_Jump;
 with System.Machine_Code; use System.Machine_Code;
+with Execution_Load;
 
 procedure Non_Local_Jump_Test is
 
-   pragma Linker_Options("eat_20.o");
+   --pragma Linker_Options("eat_20.o");
 
-   procedure Eat_20;
-   pragma Import (C, Eat_20, "eat_20");
+   --procedure Eat_20;
+   --pragma Import (C, Eat_20, "eat_20");
 
    pragma Priority (10);
 
@@ -60,7 +60,7 @@ procedure Non_Local_Jump_Test is
       loop
 
          Put_Line (Integer'Image (C));
-         Eat_20;
+         Execution_Load.Eat (20.0);
          --for I in 1 .. 20_000_000 loop
          --   null;
          --end loop;
@@ -87,8 +87,9 @@ procedure Non_Local_Jump_Test is
          if PR.After_Jump (Jmp_Buff'Access) = 1 then
             Put_Line ("---After Jump---");
          else
+            Put_Line ("---Not After Jump 1---");
             Por_Fastidiar1 (Cont);
-            Put_Line ("---Not After Jump---");
+            Put_Line ("---Not After Jump 2---");
          end if;
          Cont := Cont + 1;
          Put_Line(" Cont:" & Integer'Image (Cont));