1 // SPDX-License-Identifier: BSD-2-Clause 2 /* 3 * Copyright (c) 2019, Linaro Limited 4 */ 5 6 #include <kernel/user_mode_ctx.h> 7 #include <trace.h> 8 #include <mm/mobj.h> 9 10 void user_mode_ctx_print_mappings(struct user_mode_ctx *uctx) 11 { 12 struct vm_region *r = NULL; 13 char flags[7] = { '\0', }; 14 size_t n = 0; 15 16 TAILQ_FOREACH(r, &uctx->vm_info.regions, link) { 17 paddr_t pa = 0; 18 19 if (r->mobj) 20 mobj_get_pa(r->mobj, r->offset, 0, &pa); 21 22 mattr_perm_to_str(flags, sizeof(flags), r->attr); 23 EMSG_RAW(" region %2zu: va 0x%0*" PRIxVA " pa 0x%0*" PRIxPA 24 " size 0x%06zx flags %s", 25 n, PRIxVA_WIDTH, r->va, PRIxPA_WIDTH, pa, r->size, 26 flags); 27 n++; 28 } 29 } 30