1 /*
2  * Copyright (C) 2023 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 #include "berberis/guest_os_primitives/guest_thread_manager.h"
18 #include "berberis/guest_state/guest_addr.h"
19 #include "berberis/runtime_primitives/runtime_library.h"
20 #include "berberis/runtime_primitives/translation_cache.h"
21 
22 #include "berberis/base/checks.h"
23 
24 namespace berberis {
25 
26 // Invalidate regions overlapping with the range. Could be pretty slow.
InvalidateGuestRange(GuestAddr start,GuestAddr end)27 void InvalidateGuestRange(GuestAddr start, GuestAddr end) {
28   TranslationCache* cache = TranslationCache::GetInstance();
29   cache->InvalidateGuestRange(start, end);
30   // TODO(b/28081995): Specify region to avoid flushing too much.
31   FlushGuestCodeCache();
32 }
33 
34 }  // namespace berberis
35