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