1*d17d5cc0SPhilippe Mathieu-Daudé# SPDX-License-Identifier: GPL-2.0-or-later 2*d17d5cc0SPhilippe Mathieu-Daudé# 3*d17d5cc0SPhilippe Mathieu-Daudé# See docs/devel/tracing.rst for syntax documentation. 4*d17d5cc0SPhilippe Mathieu-Daudé 5*d17d5cc0SPhilippe Mathieu-Daudé# hvf-accel-ops.c 6*d17d5cc0SPhilippe Mathieu-Daudéhvf_vm_map(uint64_t paddr, uint64_t size, void *vaddr, uint8_t flags, const char r, const char w, const char e) "paddr:0x%016"PRIx64" size:0x%08"PRIx64" vaddr:%p flags:0x%02x/%c%c%c" 7*d17d5cc0SPhilippe Mathieu-Daudéhvf_vm_unmap(uint64_t paddr, uint64_t size) "paddr:0x%016"PRIx64" size:0x%08"PRIx64 8