Use uint32_t rather than int for memory modes.

Change-Id: I12b4d0cb0582d80bf86ca5dd99c7e462d776320f
diff --git a/src/mm.c b/src/mm.c
index b3d06e2..f6c2481 100644
--- a/src/mm.c
+++ b/src/mm.c
@@ -784,7 +784,7 @@
  * architecture-agnostic mode provided.
  */
 bool mm_vm_identity_map(struct mm_ptable *t, paddr_t begin, paddr_t end,
-			int mode, ipaddr_t *ipa, struct mpool *ppool)
+			uint32_t mode, ipaddr_t *ipa, struct mpool *ppool)
 {
 	int flags = 0;
 	bool success = mm_ptable_identity_update(
@@ -847,7 +847,7 @@
  * Returns true if the range is mapped with the same mode and false otherwise.
  */
 bool mm_vm_get_mode(struct mm_ptable *t, ipaddr_t begin, ipaddr_t end,
-		    int *mode)
+		    uint32_t *mode)
 {
 	uint64_t attrs;
 	bool ret;
@@ -884,7 +884,7 @@
  * architecture-agnostic mode provided.
  */
 void *mm_identity_map(struct mm_stage1_locked stage1_locked, paddr_t begin,
-		      paddr_t end, int mode, struct mpool *ppool)
+		      paddr_t end, uint32_t mode, struct mpool *ppool)
 {
 	if (mm_ptable_identity_update(stage1_locked.ptable, begin, end,
 				      arch_mm_mode_to_stage1_attrs(mode),