Line data    Source code

       1             : // Copyright 2019 the V8 project authors. All rights reserved.
       2             : // Use of this source code is governed by a BSD-style license that can be
       3             : // found in the LICENSE file.
       4             : 
       5             : #ifndef V8_FLUSH_INSTRUCTION_CACHE_H_
       6             : #define V8_FLUSH_INSTRUCTION_CACHE_H_
       7             : 
       8             : #include "include/v8-internal.h"
       9             : #include "src/base/macros.h"
      10             : 
      11             : namespace v8 {
      12             : namespace internal {
      13             : 
      14             : V8_EXPORT_PRIVATE void FlushInstructionCache(void* start, size_t size);
      15             : V8_EXPORT_PRIVATE V8_INLINE void FlushInstructionCache(Address start,
      16             :                                                        size_t size) {
      17     4644789 :   return FlushInstructionCache(reinterpret_cast<void*>(start), size);
      18             : }
      19             : 
      20             : }  // namespace internal
      21             : }  // namespace v8
      22             : 
      23             : #endif  // V8_FLUSH_INSTRUCTION_CACHE_H_