sel4platsupport: am355x: Silence build warnings

libsel4platsupport/src/plat/am335x/cpsw.c

diff --git a/libsel4platsupport/src/plat/am335x/cpsw.c b/libsel4platsupport/src/plat/am335x/cpsw.c
index 5d6521d..d003dbd 100644
--- a/libsel4platsupport/src/plat/am335x/cpsw.c
+++ b/libsel4platsupport/src/plat/am335x/cpsw.c
@@ -52,6 +52,8 @@
 *
 */
 
+#include <utils/arith.h> /* BIT() */
+#include <utils/attribute.h> /* UNUSED */
 #include <sel4platsupport/plat/hw/hw_types.h>
 #include <sel4platsupport/plat/cpsw.h>
 
@@ -584,7 +586,7 @@
  * \return  None
  *
  **/
-void CPSWSoftwareIdleDisable(unsigned int baseAddr, unsigned int portNum)
+void CPSWSoftwareIdleDisable(unsigned int baseAddr, unsigned int UNUSED portNum)
 {
     HWREG(baseAddr + CPSW_SS_SOFT_IDLE) &= ~CPSW_SS_SOFT_IDLE_SOFT_IDLE;
 }

libsel4platsupport/src/plat/am335x/edma.c

diff --git a/libsel4platsupport/src/plat/am335x/edma.c b/libsel4platsupport/src/plat/am335x/edma.c
index b30e3c6..be90684 100644
--- a/libsel4platsupport/src/plat/am335x/edma.c
+++ b/libsel4platsupport/src/plat/am335x/edma.c
@@ -41,6 +41,7 @@
 */
 
 /* Driver APIs */
+#include <utils/attribute.h>
 #include <sel4platsupport/plat/edma.h>
 
 #include <sel4platsupport/plat/hw/hw_types.h>
@@ -805,7 +806,7 @@
  * \return  None
  */
 void EDMA3QdmaGetPaRAM(unsigned int baseAdd,
-                       unsigned int chNum,
+                       UNUSED unsigned int chNum,
                        unsigned int paRAMId,
                        EDMA3CCPaRAMEntry* currPaRAM)
 {
@@ -882,7 +883,7 @@
  * \return  None
  */
 void EDMA3QdmaSetPaRAM(unsigned int baseAdd,
-                       unsigned int chNum,
+                       UNUSED unsigned int chNum,
                        unsigned int paRAMId,
                        EDMA3CCPaRAMEntry* newPaRAM)
 {
@@ -1110,7 +1111,7 @@
  */
 unsigned int EDMA3FreeChannel(unsigned int baseAdd, unsigned int chType,
                               unsigned int chNum, unsigned int trigMode,
-                              unsigned int tccNum, unsigned int evtQNum)
+                              unsigned int tccNum, UNUSED unsigned int evtQNum)
 {
     unsigned int retVal = FALSE;
     if (chNum < SOC_EDMA3_NUM_DMACH) {
@@ -1358,7 +1359,7 @@
  *            and only two event Queues
  */
 void EDMA3Deinit(unsigned int baseAdd,
-                 unsigned int queNum)
+                 UNUSED unsigned int queNum)
 {
     unsigned int count = 0;