829   output()->print(", value ");

   829   output()->print(", value ");

   830   print_value(x->value());

   830   print_value(x->value());

   831   output()->put(')');

   831   output()->put(')');

   832 }

   832 }

   833 

   833 

   834 

   840 

   835 void InstructionPrinter::do_UnsafePrefetchRead(UnsafePrefetchRead* x) {

   841 void InstructionPrinter::do_UnsafePrefetchRead(UnsafePrefetchRead* x) {

   836   print_unsafe_object_op(x, "UnsafePrefetchRead");

   842   print_unsafe_object_op(x, "UnsafePrefetchRead");

   837   output()->put(')');

   843   output()->put(')');

   838 }

   844 }