1.1 --- a/pkg/landfall-examples/ci20_hdmi_i2c/ci20_hdmi_i2c.c Sat Oct 28 00:28:42 2023 +0200
1.2 +++ b/pkg/landfall-examples/ci20_hdmi_i2c/ci20_hdmi_i2c.c Sat Oct 28 01:15:45 2023 +0200
1.3 @@ -272,13 +272,13 @@
1.4
1.5 cpm = jz4780_cpm_init(cpm_base);
1.6
1.7 - printf("VPLL frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_pll_V));
1.8 - printf("HDMI frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_hdmi));
1.9 + printf("VPLL frequency: %lld\n", jz4780_cpm_get_frequency(cpm, Clock_pll_V));
1.10 + printf("HDMI frequency: %lld\n", jz4780_cpm_get_frequency(cpm, Clock_hdmi));
1.11
1.12 jz4780_cpm_stop_clock(cpm, Clock_hdmi);
1.13 jz4780_cpm_set_frequency(cpm, Clock_hdmi, 27000000);
1.14
1.15 - printf("HDMI frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_hdmi));
1.16 + printf("HDMI frequency: %lld\n", jz4780_cpm_get_frequency(cpm, Clock_hdmi));
1.17
1.18 jz4780_cpm_start_clock(cpm, Clock_hdmi);
1.19
1.20 @@ -339,7 +339,7 @@
1.21 /* Test initialisation with a frequency appropriate for the test panel. */
1.22
1.23 printf("LCD source: %d\n", jz4780_cpm_get_source(cpm, Clock_lcd));
1.24 - printf("LCD frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_lcd_pixel0));
1.25 + printf("LCD frequency: %lld\n", jz4780_cpm_get_frequency(cpm, Clock_lcd_pixel0));
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 @@ -347,7 +347,7 @@
1.30 jz4780_cpm_set_frequency(cpm, Clock_lcd_pixel0, jz4740_lcd_get_pixel_clock(lcd));
1.31
1.32 printf("LCD source: %d\n", jz4780_cpm_get_source(cpm, Clock_lcd));
1.33 - printf("LCD frequency: %d\n", jz4780_cpm_get_frequency(cpm, Clock_lcd_pixel0));
1.34 + printf("LCD frequency: %lld\n", jz4780_cpm_get_frequency(cpm, Clock_lcd_pixel0));
1.35
1.36 /* With the LCD pixel clock set up, bring up the HDMI. */
1.37