static inline void qemu_get_be64s ( QEMUFile * f , uint64_t * pv ) {
 * pv = qemu_get_be64 ( f ) ;
 }
static inline void qemu_get_be64s ( QEMUFile * f , uint64_t * pv ) {
 * pv = qemu_get_be64 ( f ) ;
 }