訪問Ada中的易失性寄存器

Question

我想寫一個非常簡單的驅動程序來初始化，寫入/讀取微控制器上的某些外設，就像我在C中完成的一樣。我使用GPIO作爲示例外設進行初始化，寫入和讀取。

GPIOA : GPIO_Register with 
    Volatile, 
    Address => System'To_Address (GPIOA_Base); 
    pragma Import (Ada, GPIOA); 

如果我宣佈一個列表來訪問所有的GPIO：

type GPIO_Register_ptr is access all GPIO_Register with volatile; 

Gpio_List_Pointers : array (Integer range 1 .. 8) of aliased GPIO_Register_ptr; 

，然後分配：

Gpio_List_Pointers(1) := GPIOA'Access; 

我得到的錯誤：

142:29 prefix of "ACCESS" attribute must be aliased 

任何想法如何整理出來？

Answer 1

簡短的回答是：

聲明GPIOA作爲別名，就像這樣：

GPIOA : aliased GPIO_Register 

編輯：

的時間長一點的回答：

GPIOA聲明如下：

GPIOA : aliased GPIO_Register with 
    Volatile, 
    Address => System'To_Address (GPIOA_Base); 

這意味着它是一個易失物體。 類型的對象仍然是GPIO_Register，這是不是易失性。 所以，當你做

Gpio_List_Pointers(1) := GPIOA'Access; 

的'Access回到GPIO_Register類型，這是不揮發性的對象的訪問，以及編譯器不會讓你這樣做。

爲了使這個合法，GPIO_Register需要是一個易失性類型。 這是通過改變類型定義包括一個方面說明做：

type GPIO_Register is record 
    MODER : Bits_16x2; 
    IDR : Word; 
    ODR : Word; 
end record 
    with Volatile; 

現在我們有一個揮發型，不只是一個揮發物