__xenmem_reservation_va_mapping_update   61 drivers/xen/mem-reservation.c EXPORT_SYMBOL_GPL(__xenmem_reservation_va_mapping_update);
__xenmem_reservation_va_mapping_update   29 include/xen/mem-reservation.h void __xenmem_reservation_va_mapping_update(unsigned long count,
__xenmem_reservation_va_mapping_update   43 include/xen/mem-reservation.h 		__xenmem_reservation_va_mapping_update(count, pages, frames);