Symbol: xenmem_reservation_decrease