+/* CPU clock in MHz */
+static __inline int plat_target_cpu_clock_get(void)
+{
+ if (plat_target.cpu_clock_get)
+ return plat_target.cpu_clock_get();
+ return -1;
+}
+
+static __inline int plat_target_cpu_clock_set(int mhz)
+{
+ if (plat_target.cpu_clock_set)
+ return plat_target.cpu_clock_set(mhz);
+ return -1;
+}
+
+/* battery capacity (0-100) */
+static __inline int plat_target_bat_capacity_get(void)
+{
+ if (plat_target.bat_capacity_get)
+ return plat_target.bat_capacity_get();
+ return -1;
+}
+
+/* set some hardware-specific video filter, 0 for none */
+static __inline int plat_target_hwfilter_set(int which)
+{
+ if (plat_target.hwfilter_set)
+ return plat_target.hwfilter_set(which);
+ return -1;
+}
+
+/* set device LCD rate, is_pal 0 for NTSC, 1 for PAL compatible */
+static __inline int plat_target_lcdrate_set(int is_pal)
+{
+ if (plat_target.lcdrate_set)
+ return plat_target.lcdrate_set(is_pal);
+ return -1;
+}
+
+/* set device LCD rate, is_pal 0 for NTSC, 1 for PAL compatible */
+static __inline int plat_target_gamma_set(int val, int black_level)