--  We need to import the "mbd" symbol...
   Info_Address : constant Unsigned_32;

   pragma Import (Assembly, Info_Address, "mbd");

   Info : MB_Info;

   --  So we can use the address stored at that location.
   for Info'Address use System'To_Address (Info_Address);

   pragma Volatile (Info);