--- /dev/null
+// SPDX-License-Identifier: GPL-2.0+
+/*
+ * Copyright (c) 2013 Broadcom
+ */
+/*
+
+*/
+
+#ifndef PMC_RDP_H
+#define PMC_RDP_H
+
+int pmc_rdp_power_up(void);
+int pmc_rdp_power_down(void);
+int pmc_rdp_init(void);
+int pmc_rdp_shut_down(void);
+
+#endif /* #ifndef PMC_RDP_H */