TearDownDoubleBuffering 1563 src/haiku_support.cc     TearDownDoubleBuffering ();
TearDownDoubleBuffering 4718 src/haiku_support.cc   view->TearDownDoubleBuffering ();