vma_add_reservation
(void)vma_add_reservation(h, vma, address);
vma_add_reservation(h, vma, address);