| * Copyright (c) 2018 Virtuozzo International GmbH |
| * This work is licensed under the terms of the GNU GPL, version 2 or later. |
| #define PAGE_SIZE (1ULL << PAGE_BITS) |
| #define PFN_MASK (~(PAGE_SIZE - 1)) |
| #define INVALID_PA UINT64_MAX |
| int pa_space_create(struct pa_space *ps, QEMU_Elf *qemu_elf); |
| void pa_space_destroy(struct pa_space *ps); |
| void va_space_create(struct va_space *vs, struct pa_space *ps, uint64_t dtb); |
| void va_space_set_dtb(struct va_space *vs, uint64_t dtb); |
| void *va_space_resolve(struct va_space *vs, uint64_t va); |
| int va_space_rw(struct va_space *vs, uint64_t addr, |
| void *buf, size_t size, int is_write); |