40,41c40
< int vm_get_memory_seg(struct vmctx *ctx, vm_paddr_t gpa,
< vm_paddr_t *ret_hpa, size_t *ret_len);
---
> int vm_get_memory_seg(struct vmctx *ctx, vm_paddr_t gpa, size_t *ret_len);