在C中访问HDMI硬件寄存器

Question

我正在尝试使用C访问Phytec MIRA板上的HDMI硬件寄存器。这是我进入嵌入式编程的第一步。

根据i.MX 6 Reference Manual，设计ID寄存器的存储器地址为0x120000（参见第1568页）。

我写了一些代码来尝试访问这个寄存器，当我尝试取消引用指针时，它只是给出了一个分段错误。

有谁能告诉我我做错了什么，请指出我正确的方向吗？

下面的最小再现代码：

#include <stdio.h>
#include <inttypes.h>

int main()
{
  uint8_t const volatile * const HDMI_DESIGN_ID = (uint8_t const volatile * const)(0x120000);
  printf("Design ID: %u\n", *HDMI_DESIGN_ID);
  return 0;
}