// Test Code for Allwinner A64 Display Engine
// Add `#include "../../pinephone-nuttx/test/test_a64_de2.c"` to the end of a64_de_init(), before `return OK` in this file:
// https://github.com/apache/nuttx/blob/master/arch/arm64/src/a64/a64_de.c

{
  DEBUGASSERT(SRAM_CTRL_REG1 == 0x1C00004);

  DEBUGASSERT(pll == 0x81001701);
  DEBUGASSERT(PLL_DE_CTRL_REG == 0x1C20048);

  DEBUGASSERT(clk == 0x81000000);
  DEBUGASSERT(DE_CLK_REG == 0x1C20104);

  DEBUGASSERT(BUS_SOFT_RST_REG1 == 0x1C202C4);
  DEBUGASSERT(BUS_CLK_GATING_REG1 == 0x1C20064);

  DEBUGASSERT(SCLK_GATE == 0x1000000);
  DEBUGASSERT(AHB_RESET == 0x1000008);
  DEBUGASSERT(HCLK_GATE == 0x1000004);
  DEBUGASSERT(DE2TCON_MUX == 0x1000010);

  DEBUGASSERT(VS_CTRL_REG == 0x1120000);
  DEBUGASSERT(UNDOC_1130000 == 0x1130000);
  DEBUGASSERT(UIS_CTRL_REG1 == 0x1140000);
  DEBUGASSERT(UIS_CTRL_REG2 == 0x1150000);
  DEBUGASSERT(GCTRL_REG_FCE == 0x11A0000);
  DEBUGASSERT(GCTRL_REG_BWS == 0x11A2000);
  DEBUGASSERT(LTI_CTL == 0x11A4000);
  DEBUGASSERT(LP_CTRL_REG == 0x11A6000);
  DEBUGASSERT(ASE_CTL_REG == 0x11A8000);
  DEBUGASSERT(FCC_CTL_REG == 0x11AA000);
  DEBUGASSERT(GNECTL_REG == 0x11B0000);
  DEBUGASSERT(GLB_CTL == 0x1100000);  
}