Searched refs:gaddr (Results 1 – 5 of 5) sorted by relevance
| /devicemodel/core/ |
| A D | vmmapi.c | 424 vm_map_gpa(struct vmctx *ctx, vm_paddr_t gaddr, size_t len) in vm_map_gpa() argument
428 if (gaddr < ctx->lowmem && len <= ctx->lowmem && in vm_map_gpa()
429 gaddr + len <= ctx->lowmem) in vm_map_gpa()
430 return (ctx->baseaddr + gaddr); in vm_map_gpa()
434 if (gaddr >= ctx->highmem_gpa_base) { in vm_map_gpa()
435 if (gaddr < ctx->highmem_gpa_base + ctx->highmem && in vm_map_gpa()
437 gaddr + len <= ctx->highmem_gpa_base + ctx->highmem) in vm_map_gpa()
438 return (ctx->baseaddr + gaddr); in vm_map_gpa()
|
| A D | main.c | 226 paddr_guest2host(struct vmctx *ctx, uintptr_t gaddr, size_t len) in paddr_guest2host() argument
228 return vm_map_gpa(ctx, gaddr, len); in paddr_guest2host()
|
| /devicemodel/include/ |
| A D | dm.h | 75 void *paddr_guest2host(struct vmctx *ctx, uintptr_t gaddr, size_t len);
|
| A D | vmmapi.h | 128 void *vm_map_gpa(struct vmctx *ctx, vm_paddr_t gaddr, size_t len);
|
| /devicemodel/hw/platform/acpi/ |
| A D | acpi.c | 961 void *gaddr; in basl_load() local
966 gaddr = paddr_guest2host(ctx, basl_acpi_base + off, sb.st_size); in basl_load()
967 if (gaddr == NULL) in basl_load()
970 if (read(fd, gaddr, sb.st_size) < 0) in basl_load()
|
Completed in 10 milliseconds