acrn_mm_region_del - Linux

Symbol: acrn_mm_region_del

drivers/virt/acrn/acrn_drv.h

int acrn_mm_region_del(struct acrn_vm *vm, u64 user_gpa, u64 size);

drivers/virt/acrn/mm.c

ret = acrn_mm_region_del(vm, memmap->user_vm_pa, memmap->len);