1.1 --- a/pkg/landfall-examples/ci20_hdmi_i2c/ci20_hdmi_i2c.c Tue Sep 12 17:20:10 2023 +0200
1.2 +++ b/pkg/landfall-examples/ci20_hdmi_i2c/ci20_hdmi_i2c.c Thu Sep 14 00:11:14 2023 +0200
1.3 @@ -274,13 +274,13 @@
1.4
1.5 printf("VPLL frequency: %d\n", jz4780_cpm_get_vpll_frequency(cpm));
1.6 printf("HDMI divider: %d\n", jz4780_cpm_get_hdmi_divider(cpm));
1.7 - printf("HDMI frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_frequency_hdmi));
1.8 + printf("HDMI frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_hdmi));
1.9
1.10 jz4780_cpm_stop_clock(cpm, Clock_hdmi);
1.11 - jz4780_cpm_set_frequency(cpm, Clock_frequency_hdmi, 27000000);
1.12 + jz4780_cpm_set_frequency(cpm, Clock_hdmi, 27000000);
1.13
1.14 printf("HDMI divider: %d\n", jz4780_cpm_get_hdmi_divider(cpm));
1.15 - printf("HDMI frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_frequency_hdmi));
1.16 + printf("HDMI frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_hdmi));
1.17
1.18 jz4780_cpm_start_clock(cpm, Clock_hdmi);
1.19
1.20 @@ -342,23 +342,23 @@
1.21
1.22 printf("LCD source: %d\n", jz4780_cpm_get_lcd_source(cpm));
1.23 printf("LCD divider: %d\n", jz4780_cpm_get_lcd_pixel_divider(cpm));
1.24 - printf("LCD frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_frequency_lcd_pixel));
1.25 + printf("LCD frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_lcd_pixel));
1.26 printf("Desired frequency: %d\n", jz4740_lcd_get_pixel_clock(lcd));
1.27
1.28 jz4780_cpm_stop_clock(cpm, Clock_lcd);
1.29 - jz4780_cpm_set_frequency(cpm, Clock_frequency_lcd, jz4740_lcd_get_pixel_clock(lcd) * 3);
1.30 - jz4780_cpm_set_frequency(cpm, Clock_frequency_lcd_pixel, jz4740_lcd_get_pixel_clock(lcd));
1.31 + jz4780_cpm_set_frequency(cpm, Clock_lcd, jz4740_lcd_get_pixel_clock(lcd) * 3);
1.32 + jz4780_cpm_set_frequency(cpm, Clock_lcd_pixel, jz4740_lcd_get_pixel_clock(lcd));
1.33
1.34 printf("LCD source: %d\n", jz4780_cpm_get_lcd_source(cpm));
1.35 printf("LCD divider: %d\n", jz4780_cpm_get_lcd_pixel_divider(cpm));
1.36 - printf("LCD frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_frequency_lcd_pixel));
1.37 + printf("LCD frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_lcd_pixel));
1.38 printf("AHB0 frequency: %d\n", jz4780_cpm_get_hclock0_frequency(cpm));
1.39
1.40 /* With the LCD pixel clock set up, bring up the HDMI. */
1.41
1.42 printf("Enable HDMI output...\n");
1.43
1.44 - jz4780_hdmi_enable(hdmi, jz4780_cpm_get_frequency(cpm, Clock_frequency_lcd_pixel));
1.45 + jz4780_hdmi_enable(hdmi, jz4780_cpm_get_frequency(cpm, Clock_lcd_pixel));
1.46
1.47 /* Create the DMA space. */
1.48
1.49 @@ -469,7 +469,7 @@
1.50 jz4740_lcd_set_irq(lcd, lcd_irq, Lcd_irq_frame_end);
1.51
1.52 jz4740_lcd_config(lcd, (struct Jz4740_lcd_descriptor *) desc_addr,
1.53 - (struct Jz4740_lcd_descriptor *) desc_paddr,
1.54 + (struct Jz4740_lcd_descriptor *) (l4_addr_t) desc_paddr,
1.55 fb_paddr);
1.56
1.57 jz4740_lcd_enable(lcd);