834   push(rbp);

   834   push(rbp);

   835   movq(rbp, rsp);

   835   movq(rbp, rsp);

   836   andq(rsp, -16);     // align stack as required by push_CPU_state and call

   836   andq(rsp, -16);     // align stack as required by push_CPU_state and call

   837   push_CPU_state();   // keeps alignment at 16 bytes

   837   push_CPU_state();   // keeps alignment at 16 bytes

   838   lea(c_rarg0, ExternalAddress((address) msg));

   838   lea(c_rarg0, ExternalAddress((address) msg));

   840   pop_CPU_state();

   841   pop_CPU_state();

   841   mov(rsp, rbp);

   842   mov(rsp, rbp);

   842   pop(rbp);

   843   pop(rbp);

   843 }

   844 }

   844 

   845