__xenmem_reservation_va_mapping_reset   89 drivers/xen/mem-reservation.c EXPORT_SYMBOL_GPL(__xenmem_reservation_va_mapping_reset);
__xenmem_reservation_va_mapping_reset   33 include/xen/mem-reservation.h void __xenmem_reservation_va_mapping_reset(unsigned long count,
__xenmem_reservation_va_mapping_reset   52 include/xen/mem-reservation.h 		__xenmem_reservation_va_mapping_reset(count, pages);