// Copyright 2016 the V8 project authors. All rights reserved. // Use of this source code is governed by a BSD-style license that can be // found in the LICENSE file. function $DETACHBUFFER(buffer) {
%ArrayBufferDetach(buffer);
}
$262.detachArrayBuffer = $DETACHBUFFER;