xref: /qemu/accel/tcg/user-exec.c (revision 30da476066d6470e1064eb564e348af945a1a656)
142a623c7SBlue Swirl /*
242a623c7SBlue Swirl  *  User emulator execution
342a623c7SBlue Swirl  *
442a623c7SBlue Swirl  *  Copyright (c) 2003-2005 Fabrice Bellard
542a623c7SBlue Swirl  *
642a623c7SBlue Swirl  * This library is free software; you can redistribute it and/or
742a623c7SBlue Swirl  * modify it under the terms of the GNU Lesser General Public
842a623c7SBlue Swirl  * License as published by the Free Software Foundation; either
9fb0343d5SThomas Huth  * version 2.1 of the License, or (at your option) any later version.
1042a623c7SBlue Swirl  *
1142a623c7SBlue Swirl  * This library is distributed in the hope that it will be useful,
1242a623c7SBlue Swirl  * but WITHOUT ANY WARRANTY; without even the implied warranty of
1342a623c7SBlue Swirl  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
1442a623c7SBlue Swirl  * Lesser General Public License for more details.
1542a623c7SBlue Swirl  *
1642a623c7SBlue Swirl  * You should have received a copy of the GNU Lesser General Public
1742a623c7SBlue Swirl  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
1842a623c7SBlue Swirl  */
19d38ea87aSPeter Maydell #include "qemu/osdep.h"
2015017436SPhilippe Mathieu-Daudé #include "accel/tcg/cpu-ops.h"
2176cad711SPaolo Bonzini #include "disas/disas.h"
224fadca8dSPierrick Bouvier #include "cpu.h"
23585d4b12SPhilippe Mathieu-Daudé #include "exec/vaddr.h"
244d43552aSPierrick Bouvier #include "exec/tlb-flags.h"
25dcb32f1dSPhilippe Mathieu-Daudé #include "tcg/tcg.h"
26023b0ae3SPeter Maydell #include "qemu/bitops.h"
27177a8cb8SRichard Henderson #include "qemu/rcu.h"
2842fa9665SPhilippe Mathieu-Daudé #include "accel/tcg/cpu-ldst.h"
290baf907bSRichard Henderson #include "accel/tcg/helper-retaddr.h"
30fe1a3aceSPhilippe Mathieu-Daudé #include "accel/tcg/probe.h"
311bf0d6e4SPhilippe Mathieu-Daudé #include "user/cpu_loop.h"
3240ab89f3SPhilippe Mathieu-Daudé #include "qemu/main-loop.h"
33634f1455SPhilippe Mathieu-Daudé #include "user/page-protection.h"
3474781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h"
35a411d296SPhilippe Mathieu-Daudé #include "exec/helper-proto.h"
36e6cd4bb5SRichard Henderson #include "qemu/atomic128.h"
37a523b62cSPhilippe Mathieu-Daudé #include "qemu/bswap.h"
38a523b62cSPhilippe Mathieu-Daudé #include "qemu/int128.h"
39b24bad34SAlex Bennée #include "trace.h"
4037e891e3SRichard Henderson #include "tcg/tcg-ldst.h"
419638cb59SPhilippe Mathieu-Daudé #include "backend-ldst.h"
4243e7a2d3SPhilippe Mathieu-Daudé #include "internal-common.h"
4393ef2c2fSPhilippe Mathieu-Daudé #include "tb-internal.h"
4442a623c7SBlue Swirl 
45ec603b55SRichard Henderson __thread uintptr_t helper_retaddr;
46ec603b55SRichard Henderson 
4742a623c7SBlue Swirl //#define DEBUG_SIGNAL
4842a623c7SBlue Swirl 
4940ab89f3SPhilippe Mathieu-Daudé void cpu_interrupt(CPUState *cpu, int mask)
5040ab89f3SPhilippe Mathieu-Daudé {
5140ab89f3SPhilippe Mathieu-Daudé     g_assert(bql_locked());
5240ab89f3SPhilippe Mathieu-Daudé     cpu->interrupt_request |= mask;
5340ab89f3SPhilippe Mathieu-Daudé     qatomic_set(&cpu->neg.icount_decr.u16.high, -1);
5440ab89f3SPhilippe Mathieu-Daudé }
5540ab89f3SPhilippe Mathieu-Daudé 
560fdbb7d2SRichard Henderson /*
570fdbb7d2SRichard Henderson  * Adjust the pc to pass to cpu_restore_state; return the memop type.
580fdbb7d2SRichard Henderson  */
590fdbb7d2SRichard Henderson MMUAccessType adjust_signal_pc(uintptr_t *pc, bool is_write)
6042a623c7SBlue Swirl {
6152ba13f0SRichard Henderson     switch (helper_retaddr) {
6252ba13f0SRichard Henderson     default:
6352ba13f0SRichard Henderson         /*
6452ba13f0SRichard Henderson          * Fault during host memory operation within a helper function.
6552ba13f0SRichard Henderson          * The helper's host return address, saved here, gives us a
6652ba13f0SRichard Henderson          * pointer into the generated code that will unwind to the
6752ba13f0SRichard Henderson          * correct guest pc.
68ec603b55SRichard Henderson          */
690fdbb7d2SRichard Henderson         *pc = helper_retaddr;
7052ba13f0SRichard Henderson         break;
7152ba13f0SRichard Henderson 
7252ba13f0SRichard Henderson     case 0:
7352ba13f0SRichard Henderson         /*
7452ba13f0SRichard Henderson          * Fault during host memory operation within generated code.
7552ba13f0SRichard Henderson          * (Or, a unrelated bug within qemu, but we can't tell from here).
7652ba13f0SRichard Henderson          *
7752ba13f0SRichard Henderson          * We take the host pc from the signal frame.  However, we cannot
7852ba13f0SRichard Henderson          * use that value directly.  Within cpu_restore_state_from_tb, we
7952ba13f0SRichard Henderson          * assume PC comes from GETPC(), as used by the helper functions,
8052ba13f0SRichard Henderson          * so we adjust the address by -GETPC_ADJ to form an address that
81e3a6e0daSzhaolichang          * is within the call insn, so that the address does not accidentally
8252ba13f0SRichard Henderson          * match the beginning of the next guest insn.  However, when the
8352ba13f0SRichard Henderson          * pc comes from the signal frame it points to the actual faulting
8452ba13f0SRichard Henderson          * host memory insn and not the return from a call insn.
8552ba13f0SRichard Henderson          *
8652ba13f0SRichard Henderson          * Therefore, adjust to compensate for what will be done later
8752ba13f0SRichard Henderson          * by cpu_restore_state_from_tb.
8852ba13f0SRichard Henderson          */
890fdbb7d2SRichard Henderson         *pc += GETPC_ADJ;
9052ba13f0SRichard Henderson         break;
9152ba13f0SRichard Henderson 
9252ba13f0SRichard Henderson     case 1:
9352ba13f0SRichard Henderson         /*
9452ba13f0SRichard Henderson          * Fault during host read for translation, or loosely, "execution".
9552ba13f0SRichard Henderson          *
9652ba13f0SRichard Henderson          * The guest pc is already pointing to the start of the TB for which
9752ba13f0SRichard Henderson          * code is being generated.  If the guest translator manages the
9852ba13f0SRichard Henderson          * page crossings correctly, this is exactly the correct address
9952ba13f0SRichard Henderson          * (and if the translator doesn't handle page boundaries correctly
10052ba13f0SRichard Henderson          * there's little we can do about that here).  Therefore, do not
10152ba13f0SRichard Henderson          * trigger the unwinder.
10252ba13f0SRichard Henderson          */
1030fdbb7d2SRichard Henderson         *pc = 0;
1040fdbb7d2SRichard Henderson         return MMU_INST_FETCH;
105ec603b55SRichard Henderson     }
106ec603b55SRichard Henderson 
1070fdbb7d2SRichard Henderson     return is_write ? MMU_DATA_STORE : MMU_DATA_LOAD;
1080fdbb7d2SRichard Henderson }
1090fdbb7d2SRichard Henderson 
1105e38ba7dSRichard Henderson /**
1115e38ba7dSRichard Henderson  * handle_sigsegv_accerr_write:
1125e38ba7dSRichard Henderson  * @cpu: the cpu context
1135e38ba7dSRichard Henderson  * @old_set: the sigset_t from the signal ucontext_t
1145e38ba7dSRichard Henderson  * @host_pc: the host pc, adjusted for the signal
1155e38ba7dSRichard Henderson  * @guest_addr: the guest address of the fault
1165e38ba7dSRichard Henderson  *
1175e38ba7dSRichard Henderson  * Return true if the write fault has been handled, and should be re-tried.
1185e38ba7dSRichard Henderson  *
1195e38ba7dSRichard Henderson  * Note that it is important that we don't call page_unprotect() unless
1209323e79fSPeter Maydell  * this is really a "write to nonwritable page" fault, because
1215e38ba7dSRichard Henderson  * page_unprotect() assumes that if it is called for an access to
1229323e79fSPeter Maydell  * a page that's writable this means we had two threads racing and
1239323e79fSPeter Maydell  * another thread got there first and already made the page writable;
1245e38ba7dSRichard Henderson  * so we will retry the access. If we were to call page_unprotect()
1255e38ba7dSRichard Henderson  * for some other kind of fault that should really be passed to the
1265e38ba7dSRichard Henderson  * guest, we'd end up in an infinite loop of retrying the faulting access.
1275e38ba7dSRichard Henderson  */
1285e38ba7dSRichard Henderson bool handle_sigsegv_accerr_write(CPUState *cpu, sigset_t *old_set,
129d551b822SRichard Henderson                                  uintptr_t host_pc, vaddr guest_addr)
1305e38ba7dSRichard Henderson {
13143625e35SRichard Henderson     switch (page_unprotect(cpu, guest_addr, host_pc)) {
1325e38ba7dSRichard Henderson     case 0:
1335e38ba7dSRichard Henderson         /*
1345e38ba7dSRichard Henderson          * Fault not caused by a page marked unwritable to protect
1355e38ba7dSRichard Henderson          * cached translations, must be the guest binary's problem.
1365e38ba7dSRichard Henderson          */
1375e38ba7dSRichard Henderson         return false;
1385e38ba7dSRichard Henderson     case 1:
1395e38ba7dSRichard Henderson         /*
1405e38ba7dSRichard Henderson          * Fault caused by protection of cached translation; TBs
1415e38ba7dSRichard Henderson          * invalidated, so resume execution.
1425e38ba7dSRichard Henderson          */
1435e38ba7dSRichard Henderson         return true;
1445e38ba7dSRichard Henderson     case 2:
1455e38ba7dSRichard Henderson         /*
1465e38ba7dSRichard Henderson          * Fault caused by protection of cached translation, and the
1475e38ba7dSRichard Henderson          * currently executing TB was modified and must be exited immediately.
1485e38ba7dSRichard Henderson          */
149940b3090SRichard Henderson         sigprocmask(SIG_SETMASK, old_set, NULL);
150940b3090SRichard Henderson         cpu_loop_exit_noexc(cpu);
1515e38ba7dSRichard Henderson         /* NORETURN */
1525e38ba7dSRichard Henderson     default:
1535e38ba7dSRichard Henderson         g_assert_not_reached();
1545e38ba7dSRichard Henderson     }
1555e38ba7dSRichard Henderson }
1565e38ba7dSRichard Henderson 
15767ff2186SRichard Henderson typedef struct PageFlagsNode {
158177a8cb8SRichard Henderson     struct rcu_head rcu;
15967ff2186SRichard Henderson     IntervalTreeNode itree;
16067ff2186SRichard Henderson     int flags;
16167ff2186SRichard Henderson } PageFlagsNode;
162d941c086SRichard Henderson 
16367ff2186SRichard Henderson static IntervalTreeRoot pageflags_root;
16467ff2186SRichard Henderson 
1655627d5c0SRichard Henderson static PageFlagsNode *pageflags_find(vaddr start, vaddr last)
166d941c086SRichard Henderson {
16767ff2186SRichard Henderson     IntervalTreeNode *n;
16867ff2186SRichard Henderson 
16967ff2186SRichard Henderson     n = interval_tree_iter_first(&pageflags_root, start, last);
17067ff2186SRichard Henderson     return n ? container_of(n, PageFlagsNode, itree) : NULL;
171d941c086SRichard Henderson }
172d941c086SRichard Henderson 
1735627d5c0SRichard Henderson static PageFlagsNode *pageflags_next(PageFlagsNode *p, vaddr start, vaddr last)
174d941c086SRichard Henderson {
17567ff2186SRichard Henderson     IntervalTreeNode *n;
176d941c086SRichard Henderson 
17767ff2186SRichard Henderson     n = interval_tree_iter_next(&p->itree, start, last);
17867ff2186SRichard Henderson     return n ? container_of(n, PageFlagsNode, itree) : NULL;
179d941c086SRichard Henderson }
180d941c086SRichard Henderson 
181d941c086SRichard Henderson int walk_memory_regions(void *priv, walk_memory_regions_fn fn)
182d941c086SRichard Henderson {
18367ff2186SRichard Henderson     IntervalTreeNode *n;
18467ff2186SRichard Henderson     int rc = 0;
185d941c086SRichard Henderson 
18667ff2186SRichard Henderson     mmap_lock();
18767ff2186SRichard Henderson     for (n = interval_tree_iter_first(&pageflags_root, 0, -1);
18867ff2186SRichard Henderson          n != NULL;
18967ff2186SRichard Henderson          n = interval_tree_iter_next(n, 0, -1)) {
19067ff2186SRichard Henderson         PageFlagsNode *p = container_of(n, PageFlagsNode, itree);
191d941c086SRichard Henderson 
19267ff2186SRichard Henderson         rc = fn(priv, n->start, n->last + 1, p->flags);
193d941c086SRichard Henderson         if (rc != 0) {
19467ff2186SRichard Henderson             break;
195d941c086SRichard Henderson         }
196d941c086SRichard Henderson     }
19767ff2186SRichard Henderson     mmap_unlock();
198d941c086SRichard Henderson 
19967ff2186SRichard Henderson     return rc;
200d941c086SRichard Henderson }
201d941c086SRichard Henderson 
202e1c8eb8cSRichard Henderson static int dump_region(void *opaque, vaddr start, vaddr end, int prot)
203d941c086SRichard Henderson {
204e1c8eb8cSRichard Henderson     FILE *f = opaque;
205d941c086SRichard Henderson 
206e1c8eb8cSRichard Henderson     fprintf(f, TARGET_ABI_FMT_ptr "-" TARGET_ABI_FMT_ptr
207e1c8eb8cSRichard Henderson             " " TARGET_ABI_FMT_ptr " %c%c%c\n",
208e1c8eb8cSRichard Henderson             (abi_ptr)start, (abi_ptr)end, (abi_ptr)(end - start),
209d941c086SRichard Henderson             ((prot & PAGE_READ) ? 'r' : '-'),
210d941c086SRichard Henderson             ((prot & PAGE_WRITE) ? 'w' : '-'),
211d941c086SRichard Henderson             ((prot & PAGE_EXEC) ? 'x' : '-'));
212d941c086SRichard Henderson     return 0;
213d941c086SRichard Henderson }
214d941c086SRichard Henderson 
215d941c086SRichard Henderson /* dump memory mappings */
216d941c086SRichard Henderson void page_dump(FILE *f)
217d941c086SRichard Henderson {
2185627d5c0SRichard Henderson     const int length = sizeof(abi_ptr) * 2;
21967ff2186SRichard Henderson 
22067ff2186SRichard Henderson     fprintf(f, "%-*s %-*s %-*s %s\n",
221d941c086SRichard Henderson             length, "start", length, "end", length, "size", "prot");
222d941c086SRichard Henderson     walk_memory_regions(f, dump_region);
223d941c086SRichard Henderson }
224d941c086SRichard Henderson 
2255627d5c0SRichard Henderson int page_get_flags(vaddr address)
226d941c086SRichard Henderson {
22767ff2186SRichard Henderson     PageFlagsNode *p = pageflags_find(address, address);
228d941c086SRichard Henderson 
22967ff2186SRichard Henderson     /*
23067ff2186SRichard Henderson      * See util/interval-tree.c re lockless lookups: no false positives but
23167ff2186SRichard Henderson      * there are false negatives.  If we find nothing, retry with the mmap
23267ff2186SRichard Henderson      * lock acquired.
23367ff2186SRichard Henderson      */
23467ff2186SRichard Henderson     if (p) {
23567ff2186SRichard Henderson         return p->flags;
23667ff2186SRichard Henderson     }
23767ff2186SRichard Henderson     if (have_mmap_lock()) {
238d941c086SRichard Henderson         return 0;
239d941c086SRichard Henderson     }
24067ff2186SRichard Henderson 
24167ff2186SRichard Henderson     mmap_lock();
24267ff2186SRichard Henderson     p = pageflags_find(address, address);
24367ff2186SRichard Henderson     mmap_unlock();
24467ff2186SRichard Henderson     return p ? p->flags : 0;
24567ff2186SRichard Henderson }
24667ff2186SRichard Henderson 
24767ff2186SRichard Henderson /* A subroutine of page_set_flags: insert a new node for [start,last]. */
2485627d5c0SRichard Henderson static void pageflags_create(vaddr start, vaddr last, int flags)
24967ff2186SRichard Henderson {
25067ff2186SRichard Henderson     PageFlagsNode *p = g_new(PageFlagsNode, 1);
25167ff2186SRichard Henderson 
25267ff2186SRichard Henderson     p->itree.start = start;
25367ff2186SRichard Henderson     p->itree.last = last;
25467ff2186SRichard Henderson     p->flags = flags;
25567ff2186SRichard Henderson     interval_tree_insert(&p->itree, &pageflags_root);
25667ff2186SRichard Henderson }
25767ff2186SRichard Henderson 
25867ff2186SRichard Henderson /* A subroutine of page_set_flags: remove everything in [start,last]. */
2595627d5c0SRichard Henderson static bool pageflags_unset(vaddr start, vaddr last)
26067ff2186SRichard Henderson {
26167ff2186SRichard Henderson     bool inval_tb = false;
26267ff2186SRichard Henderson 
26367ff2186SRichard Henderson     while (true) {
26467ff2186SRichard Henderson         PageFlagsNode *p = pageflags_find(start, last);
2655627d5c0SRichard Henderson         vaddr p_last;
26667ff2186SRichard Henderson 
26767ff2186SRichard Henderson         if (!p) {
26867ff2186SRichard Henderson             break;
26967ff2186SRichard Henderson         }
27067ff2186SRichard Henderson 
27167ff2186SRichard Henderson         if (p->flags & PAGE_EXEC) {
27267ff2186SRichard Henderson             inval_tb = true;
27367ff2186SRichard Henderson         }
27467ff2186SRichard Henderson 
27567ff2186SRichard Henderson         interval_tree_remove(&p->itree, &pageflags_root);
27667ff2186SRichard Henderson         p_last = p->itree.last;
27767ff2186SRichard Henderson 
27867ff2186SRichard Henderson         if (p->itree.start < start) {
27967ff2186SRichard Henderson             /* Truncate the node from the end, or split out the middle. */
28067ff2186SRichard Henderson             p->itree.last = start - 1;
28167ff2186SRichard Henderson             interval_tree_insert(&p->itree, &pageflags_root);
28267ff2186SRichard Henderson             if (last < p_last) {
28367ff2186SRichard Henderson                 pageflags_create(last + 1, p_last, p->flags);
28467ff2186SRichard Henderson                 break;
28567ff2186SRichard Henderson             }
28667ff2186SRichard Henderson         } else if (p_last <= last) {
28767ff2186SRichard Henderson             /* Range completely covers node -- remove it. */
288177a8cb8SRichard Henderson             g_free_rcu(p, rcu);
28967ff2186SRichard Henderson         } else {
29067ff2186SRichard Henderson             /* Truncate the node from the start. */
29167ff2186SRichard Henderson             p->itree.start = last + 1;
29267ff2186SRichard Henderson             interval_tree_insert(&p->itree, &pageflags_root);
29367ff2186SRichard Henderson             break;
29467ff2186SRichard Henderson         }
29567ff2186SRichard Henderson     }
29667ff2186SRichard Henderson 
29767ff2186SRichard Henderson     return inval_tb;
29867ff2186SRichard Henderson }
29967ff2186SRichard Henderson 
30067ff2186SRichard Henderson /*
30167ff2186SRichard Henderson  * A subroutine of page_set_flags: nothing overlaps [start,last],
30267ff2186SRichard Henderson  * but check adjacent mappings and maybe merge into a single range.
30367ff2186SRichard Henderson  */
3045627d5c0SRichard Henderson static void pageflags_create_merge(vaddr start, vaddr last, int flags)
30567ff2186SRichard Henderson {
30667ff2186SRichard Henderson     PageFlagsNode *next = NULL, *prev = NULL;
30767ff2186SRichard Henderson 
30867ff2186SRichard Henderson     if (start > 0) {
30967ff2186SRichard Henderson         prev = pageflags_find(start - 1, start - 1);
31067ff2186SRichard Henderson         if (prev) {
31167ff2186SRichard Henderson             if (prev->flags == flags) {
31267ff2186SRichard Henderson                 interval_tree_remove(&prev->itree, &pageflags_root);
31367ff2186SRichard Henderson             } else {
31467ff2186SRichard Henderson                 prev = NULL;
31567ff2186SRichard Henderson             }
31667ff2186SRichard Henderson         }
31767ff2186SRichard Henderson     }
31867ff2186SRichard Henderson     if (last + 1 != 0) {
31967ff2186SRichard Henderson         next = pageflags_find(last + 1, last + 1);
32067ff2186SRichard Henderson         if (next) {
32167ff2186SRichard Henderson             if (next->flags == flags) {
32267ff2186SRichard Henderson                 interval_tree_remove(&next->itree, &pageflags_root);
32367ff2186SRichard Henderson             } else {
32467ff2186SRichard Henderson                 next = NULL;
32567ff2186SRichard Henderson             }
32667ff2186SRichard Henderson         }
32767ff2186SRichard Henderson     }
32867ff2186SRichard Henderson 
32967ff2186SRichard Henderson     if (prev) {
33067ff2186SRichard Henderson         if (next) {
33167ff2186SRichard Henderson             prev->itree.last = next->itree.last;
332177a8cb8SRichard Henderson             g_free_rcu(next, rcu);
33367ff2186SRichard Henderson         } else {
33467ff2186SRichard Henderson             prev->itree.last = last;
33567ff2186SRichard Henderson         }
33667ff2186SRichard Henderson         interval_tree_insert(&prev->itree, &pageflags_root);
33767ff2186SRichard Henderson     } else if (next) {
33867ff2186SRichard Henderson         next->itree.start = start;
33967ff2186SRichard Henderson         interval_tree_insert(&next->itree, &pageflags_root);
34067ff2186SRichard Henderson     } else {
34167ff2186SRichard Henderson         pageflags_create(start, last, flags);
34267ff2186SRichard Henderson     }
343d941c086SRichard Henderson }
344d941c086SRichard Henderson 
345d941c086SRichard Henderson /*
346d941c086SRichard Henderson  * Allow the target to decide if PAGE_TARGET_[12] may be reset.
347d941c086SRichard Henderson  * By default, they are not kept.
348d941c086SRichard Henderson  */
349d941c086SRichard Henderson #ifndef PAGE_TARGET_STICKY
350d941c086SRichard Henderson #define PAGE_TARGET_STICKY  0
351d941c086SRichard Henderson #endif
352d941c086SRichard Henderson #define PAGE_STICKY  (PAGE_ANON | PAGE_PASSTHROUGH | PAGE_TARGET_STICKY)
353d941c086SRichard Henderson 
35467ff2186SRichard Henderson /* A subroutine of page_set_flags: add flags to [start,last]. */
3555627d5c0SRichard Henderson static bool pageflags_set_clear(vaddr start, vaddr last,
35667ff2186SRichard Henderson                                 int set_flags, int clear_flags)
35767ff2186SRichard Henderson {
35867ff2186SRichard Henderson     PageFlagsNode *p;
3595627d5c0SRichard Henderson     vaddr p_start, p_last;
36067ff2186SRichard Henderson     int p_flags, merge_flags;
36167ff2186SRichard Henderson     bool inval_tb = false;
36267ff2186SRichard Henderson 
36367ff2186SRichard Henderson  restart:
36467ff2186SRichard Henderson     p = pageflags_find(start, last);
36567ff2186SRichard Henderson     if (!p) {
36667ff2186SRichard Henderson         if (set_flags) {
36767ff2186SRichard Henderson             pageflags_create_merge(start, last, set_flags);
36867ff2186SRichard Henderson         }
36967ff2186SRichard Henderson         goto done;
37067ff2186SRichard Henderson     }
37167ff2186SRichard Henderson 
37267ff2186SRichard Henderson     p_start = p->itree.start;
37367ff2186SRichard Henderson     p_last = p->itree.last;
37467ff2186SRichard Henderson     p_flags = p->flags;
37567ff2186SRichard Henderson     /* Using mprotect on a page does not change sticky bits. */
37667ff2186SRichard Henderson     merge_flags = (p_flags & ~clear_flags) | set_flags;
37767ff2186SRichard Henderson 
37867ff2186SRichard Henderson     /*
37967ff2186SRichard Henderson      * Need to flush if an overlapping executable region
38067ff2186SRichard Henderson      * removes exec, or adds write.
38167ff2186SRichard Henderson      */
38267ff2186SRichard Henderson     if ((p_flags & PAGE_EXEC)
38367ff2186SRichard Henderson         && (!(merge_flags & PAGE_EXEC)
38467ff2186SRichard Henderson             || (merge_flags & ~p_flags & PAGE_WRITE))) {
38567ff2186SRichard Henderson         inval_tb = true;
38667ff2186SRichard Henderson     }
38767ff2186SRichard Henderson 
38867ff2186SRichard Henderson     /*
38967ff2186SRichard Henderson      * If there is an exact range match, update and return without
39067ff2186SRichard Henderson      * attempting to merge with adjacent regions.
39167ff2186SRichard Henderson      */
39267ff2186SRichard Henderson     if (start == p_start && last == p_last) {
39367ff2186SRichard Henderson         if (merge_flags) {
39467ff2186SRichard Henderson             p->flags = merge_flags;
39567ff2186SRichard Henderson         } else {
39667ff2186SRichard Henderson             interval_tree_remove(&p->itree, &pageflags_root);
397177a8cb8SRichard Henderson             g_free_rcu(p, rcu);
39867ff2186SRichard Henderson         }
39967ff2186SRichard Henderson         goto done;
40067ff2186SRichard Henderson     }
40167ff2186SRichard Henderson 
40267ff2186SRichard Henderson     /*
40367ff2186SRichard Henderson      * If sticky bits affect the original mapping, then we must be more
40467ff2186SRichard Henderson      * careful about the existing intervals and the separate flags.
40567ff2186SRichard Henderson      */
40667ff2186SRichard Henderson     if (set_flags != merge_flags) {
40767ff2186SRichard Henderson         if (p_start < start) {
40867ff2186SRichard Henderson             interval_tree_remove(&p->itree, &pageflags_root);
40967ff2186SRichard Henderson             p->itree.last = start - 1;
41067ff2186SRichard Henderson             interval_tree_insert(&p->itree, &pageflags_root);
41167ff2186SRichard Henderson 
41267ff2186SRichard Henderson             if (last < p_last) {
41367ff2186SRichard Henderson                 if (merge_flags) {
41467ff2186SRichard Henderson                     pageflags_create(start, last, merge_flags);
41567ff2186SRichard Henderson                 }
41667ff2186SRichard Henderson                 pageflags_create(last + 1, p_last, p_flags);
41767ff2186SRichard Henderson             } else {
41867ff2186SRichard Henderson                 if (merge_flags) {
41967ff2186SRichard Henderson                     pageflags_create(start, p_last, merge_flags);
42067ff2186SRichard Henderson                 }
42167ff2186SRichard Henderson                 if (p_last < last) {
42267ff2186SRichard Henderson                     start = p_last + 1;
42367ff2186SRichard Henderson                     goto restart;
42467ff2186SRichard Henderson                 }
42567ff2186SRichard Henderson             }
42667ff2186SRichard Henderson         } else {
42767ff2186SRichard Henderson             if (start < p_start && set_flags) {
42867ff2186SRichard Henderson                 pageflags_create(start, p_start - 1, set_flags);
42967ff2186SRichard Henderson             }
43067ff2186SRichard Henderson             if (last < p_last) {
43167ff2186SRichard Henderson                 interval_tree_remove(&p->itree, &pageflags_root);
43267ff2186SRichard Henderson                 p->itree.start = last + 1;
43367ff2186SRichard Henderson                 interval_tree_insert(&p->itree, &pageflags_root);
43467ff2186SRichard Henderson                 if (merge_flags) {
43567ff2186SRichard Henderson                     pageflags_create(start, last, merge_flags);
43667ff2186SRichard Henderson                 }
43767ff2186SRichard Henderson             } else {
43867ff2186SRichard Henderson                 if (merge_flags) {
43967ff2186SRichard Henderson                     p->flags = merge_flags;
44067ff2186SRichard Henderson                 } else {
44167ff2186SRichard Henderson                     interval_tree_remove(&p->itree, &pageflags_root);
442177a8cb8SRichard Henderson                     g_free_rcu(p, rcu);
44367ff2186SRichard Henderson                 }
44467ff2186SRichard Henderson                 if (p_last < last) {
44567ff2186SRichard Henderson                     start = p_last + 1;
44667ff2186SRichard Henderson                     goto restart;
44767ff2186SRichard Henderson                 }
44867ff2186SRichard Henderson             }
44967ff2186SRichard Henderson         }
45067ff2186SRichard Henderson         goto done;
45167ff2186SRichard Henderson     }
45267ff2186SRichard Henderson 
45367ff2186SRichard Henderson     /* If flags are not changing for this range, incorporate it. */
45467ff2186SRichard Henderson     if (set_flags == p_flags) {
45567ff2186SRichard Henderson         if (start < p_start) {
45667ff2186SRichard Henderson             interval_tree_remove(&p->itree, &pageflags_root);
45767ff2186SRichard Henderson             p->itree.start = start;
45867ff2186SRichard Henderson             interval_tree_insert(&p->itree, &pageflags_root);
45967ff2186SRichard Henderson         }
46067ff2186SRichard Henderson         if (p_last < last) {
46167ff2186SRichard Henderson             start = p_last + 1;
46267ff2186SRichard Henderson             goto restart;
46367ff2186SRichard Henderson         }
46467ff2186SRichard Henderson         goto done;
46567ff2186SRichard Henderson     }
46667ff2186SRichard Henderson 
46767ff2186SRichard Henderson     /* Maybe split out head and/or tail ranges with the original flags. */
46867ff2186SRichard Henderson     interval_tree_remove(&p->itree, &pageflags_root);
46967ff2186SRichard Henderson     if (p_start < start) {
47067ff2186SRichard Henderson         p->itree.last = start - 1;
47167ff2186SRichard Henderson         interval_tree_insert(&p->itree, &pageflags_root);
47267ff2186SRichard Henderson 
47367ff2186SRichard Henderson         if (p_last < last) {
47467ff2186SRichard Henderson             goto restart;
47567ff2186SRichard Henderson         }
47667ff2186SRichard Henderson         if (last < p_last) {
47767ff2186SRichard Henderson             pageflags_create(last + 1, p_last, p_flags);
47867ff2186SRichard Henderson         }
47967ff2186SRichard Henderson     } else if (last < p_last) {
48067ff2186SRichard Henderson         p->itree.start = last + 1;
48167ff2186SRichard Henderson         interval_tree_insert(&p->itree, &pageflags_root);
48267ff2186SRichard Henderson     } else {
483177a8cb8SRichard Henderson         g_free_rcu(p, rcu);
48467ff2186SRichard Henderson         goto restart;
48567ff2186SRichard Henderson     }
48667ff2186SRichard Henderson     if (set_flags) {
48767ff2186SRichard Henderson         pageflags_create(start, last, set_flags);
48867ff2186SRichard Henderson     }
48967ff2186SRichard Henderson 
49067ff2186SRichard Henderson  done:
49167ff2186SRichard Henderson     return inval_tb;
49267ff2186SRichard Henderson }
49367ff2186SRichard Henderson 
4945627d5c0SRichard Henderson void page_set_flags(vaddr start, vaddr last, int flags)
495d941c086SRichard Henderson {
49667ff2186SRichard Henderson     bool reset = false;
49767ff2186SRichard Henderson     bool inval_tb = false;
498d941c086SRichard Henderson 
499d941c086SRichard Henderson     /* This function should never be called with addresses outside the
500d941c086SRichard Henderson        guest address space.  If this assert fires, it probably indicates
501d941c086SRichard Henderson        a missing call to h2g_valid.  */
50249840a4aSRichard Henderson     assert(start <= last);
503*30da4760SRichard Henderson     assert(last <= guest_addr_max);
504d941c086SRichard Henderson     /* Only set PAGE_ANON with new mappings. */
505d941c086SRichard Henderson     assert(!(flags & PAGE_ANON) || (flags & PAGE_RESET));
506d941c086SRichard Henderson     assert_memory_lock();
507d941c086SRichard Henderson 
50849840a4aSRichard Henderson     start &= TARGET_PAGE_MASK;
50949840a4aSRichard Henderson     last |= ~TARGET_PAGE_MASK;
510d941c086SRichard Henderson 
51167ff2186SRichard Henderson     if (!(flags & PAGE_VALID)) {
51267ff2186SRichard Henderson         flags = 0;
51367ff2186SRichard Henderson     } else {
51467ff2186SRichard Henderson         reset = flags & PAGE_RESET;
51567ff2186SRichard Henderson         flags &= ~PAGE_RESET;
516d941c086SRichard Henderson         if (flags & PAGE_WRITE) {
517d941c086SRichard Henderson             flags |= PAGE_WRITE_ORG;
518d941c086SRichard Henderson         }
51967ff2186SRichard Henderson     }
52067ff2186SRichard Henderson 
52167ff2186SRichard Henderson     if (!flags || reset) {
52210310cbdSRichard Henderson         page_reset_target_data(start, last);
52367ff2186SRichard Henderson         inval_tb |= pageflags_unset(start, last);
524d941c086SRichard Henderson     }
52567ff2186SRichard Henderson     if (flags) {
52667ff2186SRichard Henderson         inval_tb |= pageflags_set_clear(start, last, flags,
52767ff2186SRichard Henderson                                         ~(reset ? 0 : PAGE_STICKY));
528d941c086SRichard Henderson     }
529d941c086SRichard Henderson     if (inval_tb) {
530072e057eSRichard Henderson         tb_invalidate_phys_range(NULL, start, last);
531d941c086SRichard Henderson     }
532d941c086SRichard Henderson }
533d941c086SRichard Henderson 
5345627d5c0SRichard Henderson bool page_check_range(vaddr start, vaddr len, int flags)
535d941c086SRichard Henderson {
5365627d5c0SRichard Henderson     vaddr last;
537e630c012SRichard Henderson     int locked;  /* tri-state: =0: unlocked, +1: global, -1: local */
538bef6f008SRichard Henderson     bool ret;
539d941c086SRichard Henderson 
540d941c086SRichard Henderson     if (len == 0) {
541bef6f008SRichard Henderson         return true;  /* trivial length */
542d941c086SRichard Henderson     }
543d941c086SRichard Henderson 
54467ff2186SRichard Henderson     last = start + len - 1;
54567ff2186SRichard Henderson     if (last < start) {
546bef6f008SRichard Henderson         return false; /* wrap around */
54767ff2186SRichard Henderson     }
548d941c086SRichard Henderson 
549e630c012SRichard Henderson     locked = have_mmap_lock();
55067ff2186SRichard Henderson     while (true) {
55167ff2186SRichard Henderson         PageFlagsNode *p = pageflags_find(start, last);
55267ff2186SRichard Henderson         int missing;
55367ff2186SRichard Henderson 
554d941c086SRichard Henderson         if (!p) {
555e630c012SRichard Henderson             if (!locked) {
556e630c012SRichard Henderson                 /*
557e630c012SRichard Henderson                  * Lockless lookups have false negatives.
558e630c012SRichard Henderson                  * Retry with the lock held.
559e630c012SRichard Henderson                  */
560e630c012SRichard Henderson                 mmap_lock();
561e630c012SRichard Henderson                 locked = -1;
562e630c012SRichard Henderson                 p = pageflags_find(start, last);
563e630c012SRichard Henderson             }
564e630c012SRichard Henderson             if (!p) {
565bef6f008SRichard Henderson                 ret = false; /* entire region invalid */
566e630c012SRichard Henderson                 break;
567e630c012SRichard Henderson             }
568d941c086SRichard Henderson         }
56967ff2186SRichard Henderson         if (start < p->itree.start) {
570bef6f008SRichard Henderson             ret = false; /* initial bytes invalid */
571e630c012SRichard Henderson             break;
572d941c086SRichard Henderson         }
573d941c086SRichard Henderson 
57467ff2186SRichard Henderson         missing = flags & ~p->flags;
57591e9e116SRichard Henderson         if (missing & ~PAGE_WRITE) {
576bef6f008SRichard Henderson             ret = false; /* page doesn't match */
577e630c012SRichard Henderson             break;
578d941c086SRichard Henderson         }
57967ff2186SRichard Henderson         if (missing & PAGE_WRITE) {
580d941c086SRichard Henderson             if (!(p->flags & PAGE_WRITE_ORG)) {
581bef6f008SRichard Henderson                 ret = false; /* page not writable */
582e630c012SRichard Henderson                 break;
58367ff2186SRichard Henderson             }
58467ff2186SRichard Henderson             /* Asking about writable, but has been protected: undo. */
58543625e35SRichard Henderson             if (!page_unprotect(NULL, start, 0)) {
586bef6f008SRichard Henderson                 ret = false;
587e630c012SRichard Henderson                 break;
588d941c086SRichard Henderson             }
58967ff2186SRichard Henderson             /* TODO: page_unprotect should take a range, not a single page. */
59067ff2186SRichard Henderson             if (last - start < TARGET_PAGE_SIZE) {
591bef6f008SRichard Henderson                 ret = true; /* ok */
592e630c012SRichard Henderson                 break;
593d941c086SRichard Henderson             }
59467ff2186SRichard Henderson             start += TARGET_PAGE_SIZE;
595d941c086SRichard Henderson             continue;
596d941c086SRichard Henderson         }
59767ff2186SRichard Henderson 
59867ff2186SRichard Henderson         if (last <= p->itree.last) {
599bef6f008SRichard Henderson             ret = true; /* ok */
600e630c012SRichard Henderson             break;
601d941c086SRichard Henderson         }
60267ff2186SRichard Henderson         start = p->itree.last + 1;
60367ff2186SRichard Henderson     }
604e630c012SRichard Henderson 
605e630c012SRichard Henderson     /* Release the lock if acquired locally. */
606e630c012SRichard Henderson     if (locked < 0) {
607e630c012SRichard Henderson         mmap_unlock();
608e630c012SRichard Henderson     }
609e630c012SRichard Henderson     return ret;
61067ff2186SRichard Henderson }
61167ff2186SRichard Henderson 
6125627d5c0SRichard Henderson bool page_check_range_empty(vaddr start, vaddr last)
613c2281ddcSRichard Henderson {
614c2281ddcSRichard Henderson     assert(last >= start);
615c2281ddcSRichard Henderson     assert_memory_lock();
616c2281ddcSRichard Henderson     return pageflags_find(start, last) == NULL;
617c2281ddcSRichard Henderson }
618c2281ddcSRichard Henderson 
6195627d5c0SRichard Henderson vaddr page_find_range_empty(vaddr min, vaddr max, vaddr len, vaddr align)
620f2bb7cf2SRichard Henderson {
6215627d5c0SRichard Henderson     vaddr len_m1, align_m1;
622f2bb7cf2SRichard Henderson 
623f2bb7cf2SRichard Henderson     assert(min <= max);
624*30da4760SRichard Henderson     assert(max <= guest_addr_max);
625f2bb7cf2SRichard Henderson     assert(len != 0);
626f2bb7cf2SRichard Henderson     assert(is_power_of_2(align));
627f2bb7cf2SRichard Henderson     assert_memory_lock();
628f2bb7cf2SRichard Henderson 
629f2bb7cf2SRichard Henderson     len_m1 = len - 1;
630f2bb7cf2SRichard Henderson     align_m1 = align - 1;
631f2bb7cf2SRichard Henderson 
632f2bb7cf2SRichard Henderson     /* Iteratively narrow the search region. */
633f2bb7cf2SRichard Henderson     while (1) {
634f2bb7cf2SRichard Henderson         PageFlagsNode *p;
635f2bb7cf2SRichard Henderson 
636f2bb7cf2SRichard Henderson         /* Align min and double-check there's enough space remaining. */
637f2bb7cf2SRichard Henderson         min = (min + align_m1) & ~align_m1;
638f2bb7cf2SRichard Henderson         if (min > max) {
639f2bb7cf2SRichard Henderson             return -1;
640f2bb7cf2SRichard Henderson         }
641f2bb7cf2SRichard Henderson         if (len_m1 > max - min) {
642f2bb7cf2SRichard Henderson             return -1;
643f2bb7cf2SRichard Henderson         }
644f2bb7cf2SRichard Henderson 
645f2bb7cf2SRichard Henderson         p = pageflags_find(min, min + len_m1);
646f2bb7cf2SRichard Henderson         if (p == NULL) {
647f2bb7cf2SRichard Henderson             /* Found! */
648f2bb7cf2SRichard Henderson             return min;
649f2bb7cf2SRichard Henderson         }
650f2bb7cf2SRichard Henderson         if (max <= p->itree.last) {
651f2bb7cf2SRichard Henderson             /* Existing allocation fills the remainder of the search region. */
652f2bb7cf2SRichard Henderson             return -1;
653f2bb7cf2SRichard Henderson         }
654f2bb7cf2SRichard Henderson         /* Skip across existing allocation. */
655f2bb7cf2SRichard Henderson         min = p->itree.last + 1;
656f2bb7cf2SRichard Henderson     }
657f2bb7cf2SRichard Henderson }
658f2bb7cf2SRichard Henderson 
659b103cc6eSRichard Henderson void tb_lock_page0(tb_page_addr_t address)
66067ff2186SRichard Henderson {
66167ff2186SRichard Henderson     PageFlagsNode *p;
6625627d5c0SRichard Henderson     vaddr start, last;
663a372d483SRichard Henderson     int host_page_size = qemu_real_host_page_size();
66467ff2186SRichard Henderson     int prot;
66567ff2186SRichard Henderson 
66667ff2186SRichard Henderson     assert_memory_lock();
66767ff2186SRichard Henderson 
668a372d483SRichard Henderson     if (host_page_size <= TARGET_PAGE_SIZE) {
66967ff2186SRichard Henderson         start = address & TARGET_PAGE_MASK;
67067ff2186SRichard Henderson         last = start + TARGET_PAGE_SIZE - 1;
67167ff2186SRichard Henderson     } else {
672a372d483SRichard Henderson         start = address & -host_page_size;
673a372d483SRichard Henderson         last = start + host_page_size - 1;
67467ff2186SRichard Henderson     }
67567ff2186SRichard Henderson 
67667ff2186SRichard Henderson     p = pageflags_find(start, last);
67767ff2186SRichard Henderson     if (!p) {
67867ff2186SRichard Henderson         return;
67967ff2186SRichard Henderson     }
68067ff2186SRichard Henderson     prot = p->flags;
68167ff2186SRichard Henderson 
68267ff2186SRichard Henderson     if (unlikely(p->itree.last < last)) {
68367ff2186SRichard Henderson         /* More than one protection region covers the one host page. */
684a372d483SRichard Henderson         assert(TARGET_PAGE_SIZE < host_page_size);
68567ff2186SRichard Henderson         while ((p = pageflags_next(p, start, last)) != NULL) {
68667ff2186SRichard Henderson             prot |= p->flags;
68767ff2186SRichard Henderson         }
68867ff2186SRichard Henderson     }
68967ff2186SRichard Henderson 
69067ff2186SRichard Henderson     if (prot & PAGE_WRITE) {
69167ff2186SRichard Henderson         pageflags_set_clear(start, last, 0, PAGE_WRITE);
692a372d483SRichard Henderson         mprotect(g2h_untagged(start), last - start + 1,
69367ff2186SRichard Henderson                  prot & (PAGE_READ | PAGE_EXEC) ? PROT_READ : PROT_NONE);
694d941c086SRichard Henderson     }
695d941c086SRichard Henderson }
696d941c086SRichard Henderson 
697d941c086SRichard Henderson /*
698d941c086SRichard Henderson  * Called from signal handler: invalidate the code and unprotect the
699d941c086SRichard Henderson  * page. Return 0 if the fault was not handled, 1 if it was handled,
700d941c086SRichard Henderson  * and 2 if it was handled but the caller must cause the TB to be
701d941c086SRichard Henderson  * immediately exited. (We can only return 2 if the 'pc' argument is
702d941c086SRichard Henderson  * non-zero.)
703d941c086SRichard Henderson  */
70443625e35SRichard Henderson int page_unprotect(CPUState *cpu, tb_page_addr_t address, uintptr_t pc)
705d941c086SRichard Henderson {
70667ff2186SRichard Henderson     PageFlagsNode *p;
707d941c086SRichard Henderson     bool current_tb_invalidated;
708d941c086SRichard Henderson 
70943625e35SRichard Henderson     assert((cpu == NULL) == (pc == 0));
71043625e35SRichard Henderson 
711d941c086SRichard Henderson     /*
712d941c086SRichard Henderson      * Technically this isn't safe inside a signal handler.  However we
713d941c086SRichard Henderson      * know this only ever happens in a synchronous SEGV handler, so in
714d941c086SRichard Henderson      * practice it seems to be ok.
715d941c086SRichard Henderson      */
716d941c086SRichard Henderson     mmap_lock();
717d941c086SRichard Henderson 
71867ff2186SRichard Henderson     p = pageflags_find(address, address);
71967ff2186SRichard Henderson 
72067ff2186SRichard Henderson     /* If this address was not really writable, nothing to do. */
72167ff2186SRichard Henderson     if (!p || !(p->flags & PAGE_WRITE_ORG)) {
722d941c086SRichard Henderson         mmap_unlock();
723d941c086SRichard Henderson         return 0;
724d941c086SRichard Henderson     }
725d941c086SRichard Henderson 
726d941c086SRichard Henderson     current_tb_invalidated = false;
727d941c086SRichard Henderson     if (p->flags & PAGE_WRITE) {
728d941c086SRichard Henderson         /*
729d941c086SRichard Henderson          * If the page is actually marked WRITE then assume this is because
730d941c086SRichard Henderson          * this thread raced with another one which got here first and
731d941c086SRichard Henderson          * set the page to PAGE_WRITE and did the TB invalidate for us.
732d941c086SRichard Henderson          */
73377ad412bSRichard Henderson         if (pc && cpu->cc->tcg_ops->precise_smc) {
734d941c086SRichard Henderson             TranslationBlock *current_tb = tcg_tb_lookup(pc);
735d941c086SRichard Henderson             if (current_tb) {
736d941c086SRichard Henderson                 current_tb_invalidated = tb_cflags(current_tb) & CF_INVALID;
737d941c086SRichard Henderson             }
73877ad412bSRichard Henderson         }
739d941c086SRichard Henderson     } else {
740a372d483SRichard Henderson         int host_page_size = qemu_real_host_page_size();
7415627d5c0SRichard Henderson         vaddr start, len, i;
74267ff2186SRichard Henderson         int prot;
743d941c086SRichard Henderson 
744a372d483SRichard Henderson         if (host_page_size <= TARGET_PAGE_SIZE) {
74567ff2186SRichard Henderson             start = address & TARGET_PAGE_MASK;
74667ff2186SRichard Henderson             len = TARGET_PAGE_SIZE;
74767ff2186SRichard Henderson             prot = p->flags | PAGE_WRITE;
74867ff2186SRichard Henderson             pageflags_set_clear(start, start + len - 1, PAGE_WRITE, 0);
74900f70884SRichard Henderson             current_tb_invalidated =
75000f70884SRichard Henderson                 tb_invalidate_phys_page_unwind(cpu, start, pc);
75167ff2186SRichard Henderson         } else {
752a372d483SRichard Henderson             start = address & -host_page_size;
753a372d483SRichard Henderson             len = host_page_size;
754d941c086SRichard Henderson             prot = 0;
755d941c086SRichard Henderson 
75667ff2186SRichard Henderson             for (i = 0; i < len; i += TARGET_PAGE_SIZE) {
7575627d5c0SRichard Henderson                 vaddr addr = start + i;
75867ff2186SRichard Henderson 
75967ff2186SRichard Henderson                 p = pageflags_find(addr, addr);
76067ff2186SRichard Henderson                 if (p) {
76167ff2186SRichard Henderson                     prot |= p->flags;
76267ff2186SRichard Henderson                     if (p->flags & PAGE_WRITE_ORG) {
76367ff2186SRichard Henderson                         prot |= PAGE_WRITE;
76467ff2186SRichard Henderson                         pageflags_set_clear(addr, addr + TARGET_PAGE_SIZE - 1,
76567ff2186SRichard Henderson                                             PAGE_WRITE, 0);
76667ff2186SRichard Henderson                     }
76767ff2186SRichard Henderson                 }
768d941c086SRichard Henderson                 /*
769d941c086SRichard Henderson                  * Since the content will be modified, we must invalidate
770d941c086SRichard Henderson                  * the corresponding translated code.
771d941c086SRichard Henderson                  */
772d941c086SRichard Henderson                 current_tb_invalidated |=
77300f70884SRichard Henderson                     tb_invalidate_phys_page_unwind(cpu, addr, pc);
774d941c086SRichard Henderson             }
77567ff2186SRichard Henderson         }
77667ff2186SRichard Henderson         if (prot & PAGE_EXEC) {
77767ff2186SRichard Henderson             prot = (prot & ~PAGE_EXEC) | PAGE_READ;
77867ff2186SRichard Henderson         }
77986b7c551SBALATON Zoltan         mprotect((void *)g2h_untagged(start), len, prot & PAGE_RWX);
780d941c086SRichard Henderson     }
781d941c086SRichard Henderson     mmap_unlock();
78267ff2186SRichard Henderson 
783d941c086SRichard Henderson     /* If current TB was invalidated return to main loop */
784d941c086SRichard Henderson     return current_tb_invalidated ? 2 : 1;
785d941c086SRichard Henderson }
786d941c086SRichard Henderson 
7874f8f4127SAnton Johansson static int probe_access_internal(CPUArchState *env, vaddr addr,
788069cfe77SRichard Henderson                                  int fault_size, MMUAccessType access_type,
789069cfe77SRichard Henderson                                  bool nonfault, uintptr_t ra)
79059e96ac6SDavid Hildenbrand {
79172d2bbf9SRichard Henderson     int acc_flag;
79272d2bbf9SRichard Henderson     bool maperr;
793c25c283dSDavid Hildenbrand 
794c25c283dSDavid Hildenbrand     switch (access_type) {
795c25c283dSDavid Hildenbrand     case MMU_DATA_STORE:
79672d2bbf9SRichard Henderson         acc_flag = PAGE_WRITE_ORG;
797c25c283dSDavid Hildenbrand         break;
798c25c283dSDavid Hildenbrand     case MMU_DATA_LOAD:
79972d2bbf9SRichard Henderson         acc_flag = PAGE_READ;
800c25c283dSDavid Hildenbrand         break;
801c25c283dSDavid Hildenbrand     case MMU_INST_FETCH:
80272d2bbf9SRichard Henderson         acc_flag = PAGE_EXEC;
803c25c283dSDavid Hildenbrand         break;
804c25c283dSDavid Hildenbrand     default:
805c25c283dSDavid Hildenbrand         g_assert_not_reached();
806c25c283dSDavid Hildenbrand     }
807c25c283dSDavid Hildenbrand 
80872d2bbf9SRichard Henderson     if (guest_addr_valid_untagged(addr)) {
80972d2bbf9SRichard Henderson         int page_flags = page_get_flags(addr);
81072d2bbf9SRichard Henderson         if (page_flags & acc_flag) {
8112a339feeSRichard Henderson             if (access_type != MMU_INST_FETCH
8126d03226bSAlex Bennée                 && cpu_plugin_mem_cbs_enabled(env_cpu(env))) {
8136d03226bSAlex Bennée                 return TLB_MMIO;
8146d03226bSAlex Bennée             }
81572d2bbf9SRichard Henderson             return 0; /* success */
81672d2bbf9SRichard Henderson         }
81772d2bbf9SRichard Henderson         maperr = !(page_flags & PAGE_VALID);
81872d2bbf9SRichard Henderson     } else {
81972d2bbf9SRichard Henderson         maperr = true;
82072d2bbf9SRichard Henderson     }
82172d2bbf9SRichard Henderson 
822069cfe77SRichard Henderson     if (nonfault) {
823069cfe77SRichard Henderson         return TLB_INVALID_MASK;
82459e96ac6SDavid Hildenbrand     }
82572d2bbf9SRichard Henderson 
82672d2bbf9SRichard Henderson     cpu_loop_exit_sigsegv(env_cpu(env), addr, access_type, maperr, ra);
827069cfe77SRichard Henderson }
828069cfe77SRichard Henderson 
8294f8f4127SAnton Johansson int probe_access_flags(CPUArchState *env, vaddr addr, int size,
830069cfe77SRichard Henderson                        MMUAccessType access_type, int mmu_idx,
831069cfe77SRichard Henderson                        bool nonfault, void **phost, uintptr_t ra)
832069cfe77SRichard Henderson {
833069cfe77SRichard Henderson     int flags;
834069cfe77SRichard Henderson 
8351770b2f2SDaniel Henrique Barboza     g_assert(-(addr | TARGET_PAGE_MASK) >= size);
8361770b2f2SDaniel Henrique Barboza     flags = probe_access_internal(env, addr, size, access_type, nonfault, ra);
8376d03226bSAlex Bennée     *phost = (flags & TLB_INVALID_MASK) ? NULL : g2h(env_cpu(env), addr);
838069cfe77SRichard Henderson     return flags;
839069cfe77SRichard Henderson }
840069cfe77SRichard Henderson 
8414f8f4127SAnton Johansson void *probe_access(CPUArchState *env, vaddr addr, int size,
842069cfe77SRichard Henderson                    MMUAccessType access_type, int mmu_idx, uintptr_t ra)
843069cfe77SRichard Henderson {
844069cfe77SRichard Henderson     int flags;
845069cfe77SRichard Henderson 
846069cfe77SRichard Henderson     g_assert(-(addr | TARGET_PAGE_MASK) >= size);
847069cfe77SRichard Henderson     flags = probe_access_internal(env, addr, size, access_type, false, ra);
8486d03226bSAlex Bennée     g_assert((flags & ~TLB_MMIO) == 0);
849fef39ccdSDavid Hildenbrand 
8503e8f1628SRichard Henderson     return size ? g2h(env_cpu(env), addr) : NULL;
85159e96ac6SDavid Hildenbrand }
85259e96ac6SDavid Hildenbrand 
8539b74d403SRichard Henderson void *tlb_vaddr_to_host(CPUArchState *env, vaddr addr,
8549b74d403SRichard Henderson                         MMUAccessType access_type, int mmu_idx)
8559b74d403SRichard Henderson {
8569b74d403SRichard Henderson     return g2h(env_cpu(env), addr);
8579b74d403SRichard Henderson }
8589b74d403SRichard Henderson 
8594f8f4127SAnton Johansson tb_page_addr_t get_page_addr_code_hostp(CPUArchState *env, vaddr addr,
860cdf71308SRichard Henderson                                         void **hostp)
861cdf71308SRichard Henderson {
862cdf71308SRichard Henderson     int flags;
863cdf71308SRichard Henderson 
864cdf71308SRichard Henderson     flags = probe_access_internal(env, addr, 1, MMU_INST_FETCH, false, 0);
865cdf71308SRichard Henderson     g_assert(flags == 0);
866cdf71308SRichard Henderson 
867cdf71308SRichard Henderson     if (hostp) {
868cdf71308SRichard Henderson         *hostp = g2h_untagged(addr);
869cdf71308SRichard Henderson     }
870cdf71308SRichard Henderson     return addr;
871cdf71308SRichard Henderson }
872cdf71308SRichard Henderson 
873f88f3ac9SRichard Henderson #ifdef TARGET_PAGE_DATA_SIZE
874f88f3ac9SRichard Henderson /*
875f88f3ac9SRichard Henderson  * Allocate chunks of target data together.  For the only current user,
876f88f3ac9SRichard Henderson  * if we allocate one hunk per page, we have overhead of 40/128 or 40%.
877f88f3ac9SRichard Henderson  * Therefore, allocate memory for 64 pages at a time for overhead < 1%.
878f88f3ac9SRichard Henderson  */
879f88f3ac9SRichard Henderson #define TPD_PAGES  64
880f88f3ac9SRichard Henderson #define TBD_MASK   (TARGET_PAGE_MASK * TPD_PAGES)
881f88f3ac9SRichard Henderson 
882f88f3ac9SRichard Henderson typedef struct TargetPageDataNode {
883177a8cb8SRichard Henderson     struct rcu_head rcu;
884f88f3ac9SRichard Henderson     IntervalTreeNode itree;
88533402ceaSRichard Henderson     char data[] __attribute__((aligned));
886f88f3ac9SRichard Henderson } TargetPageDataNode;
887f88f3ac9SRichard Henderson 
888f88f3ac9SRichard Henderson static IntervalTreeRoot targetdata_root;
889f88f3ac9SRichard Henderson 
8905627d5c0SRichard Henderson void page_reset_target_data(vaddr start, vaddr last)
8910fe61084SRichard Henderson {
892f88f3ac9SRichard Henderson     IntervalTreeNode *n, *next;
8930fe61084SRichard Henderson 
8940fe61084SRichard Henderson     assert_memory_lock();
8950fe61084SRichard Henderson 
89610310cbdSRichard Henderson     start &= TARGET_PAGE_MASK;
89710310cbdSRichard Henderson     last |= ~TARGET_PAGE_MASK;
8980fe61084SRichard Henderson 
899f88f3ac9SRichard Henderson     for (n = interval_tree_iter_first(&targetdata_root, start, last),
900f88f3ac9SRichard Henderson          next = n ? interval_tree_iter_next(n, start, last) : NULL;
901f88f3ac9SRichard Henderson          n != NULL;
902f88f3ac9SRichard Henderson          n = next,
903f88f3ac9SRichard Henderson          next = next ? interval_tree_iter_next(n, start, last) : NULL) {
9045627d5c0SRichard Henderson         vaddr n_start, n_last, p_ofs, p_len;
905177a8cb8SRichard Henderson         TargetPageDataNode *t = container_of(n, TargetPageDataNode, itree);
9060fe61084SRichard Henderson 
907f88f3ac9SRichard Henderson         if (n->start >= start && n->last <= last) {
908f88f3ac9SRichard Henderson             interval_tree_remove(n, &targetdata_root);
909177a8cb8SRichard Henderson             g_free_rcu(t, rcu);
910f88f3ac9SRichard Henderson             continue;
9110fe61084SRichard Henderson         }
9120fe61084SRichard Henderson 
913f88f3ac9SRichard Henderson         if (n->start < start) {
914f88f3ac9SRichard Henderson             n_start = start;
915f88f3ac9SRichard Henderson             p_ofs = (start - n->start) >> TARGET_PAGE_BITS;
916f88f3ac9SRichard Henderson         } else {
917f88f3ac9SRichard Henderson             n_start = n->start;
918f88f3ac9SRichard Henderson             p_ofs = 0;
919f88f3ac9SRichard Henderson         }
920f88f3ac9SRichard Henderson         n_last = MIN(last, n->last);
921f88f3ac9SRichard Henderson         p_len = (n_last + 1 - n_start) >> TARGET_PAGE_BITS;
922f88f3ac9SRichard Henderson 
92333402ceaSRichard Henderson         memset(t->data + p_ofs * TARGET_PAGE_DATA_SIZE, 0,
92433402ceaSRichard Henderson                p_len * TARGET_PAGE_DATA_SIZE);
925f88f3ac9SRichard Henderson     }
926f88f3ac9SRichard Henderson }
927f88f3ac9SRichard Henderson 
9285627d5c0SRichard Henderson void *page_get_target_data(vaddr address)
9290fe61084SRichard Henderson {
930f88f3ac9SRichard Henderson     IntervalTreeNode *n;
931f88f3ac9SRichard Henderson     TargetPageDataNode *t;
9325627d5c0SRichard Henderson     vaddr page, region, p_ofs;
9330fe61084SRichard Henderson 
934f88f3ac9SRichard Henderson     page = address & TARGET_PAGE_MASK;
935f88f3ac9SRichard Henderson     region = address & TBD_MASK;
936f88f3ac9SRichard Henderson 
937f88f3ac9SRichard Henderson     n = interval_tree_iter_first(&targetdata_root, page, page);
938f88f3ac9SRichard Henderson     if (!n) {
939f88f3ac9SRichard Henderson         /*
940f88f3ac9SRichard Henderson          * See util/interval-tree.c re lockless lookups: no false positives
941f88f3ac9SRichard Henderson          * but there are false negatives.  If we find nothing, retry with
942f88f3ac9SRichard Henderson          * the mmap lock acquired.  We also need the lock for the
943f88f3ac9SRichard Henderson          * allocation + insert.
944f88f3ac9SRichard Henderson          */
945f88f3ac9SRichard Henderson         mmap_lock();
946f88f3ac9SRichard Henderson         n = interval_tree_iter_first(&targetdata_root, page, page);
947f88f3ac9SRichard Henderson         if (!n) {
94833402ceaSRichard Henderson             t = g_malloc0(sizeof(TargetPageDataNode)
94933402ceaSRichard Henderson                           + TPD_PAGES * TARGET_PAGE_DATA_SIZE);
950f88f3ac9SRichard Henderson             n = &t->itree;
951f88f3ac9SRichard Henderson             n->start = region;
952f88f3ac9SRichard Henderson             n->last = region | ~TBD_MASK;
953f88f3ac9SRichard Henderson             interval_tree_insert(n, &targetdata_root);
9540fe61084SRichard Henderson         }
955f88f3ac9SRichard Henderson         mmap_unlock();
9560fe61084SRichard Henderson     }
957f88f3ac9SRichard Henderson 
958f88f3ac9SRichard Henderson     t = container_of(n, TargetPageDataNode, itree);
95933402ceaSRichard Henderson     p_ofs = (page - region) >> TARGET_PAGE_BITS;
96033402ceaSRichard Henderson     return t->data + p_ofs * TARGET_PAGE_DATA_SIZE;
961f88f3ac9SRichard Henderson }
962f88f3ac9SRichard Henderson #else
9635627d5c0SRichard Henderson void page_reset_target_data(vaddr start, vaddr last) { }
964f88f3ac9SRichard Henderson #endif /* TARGET_PAGE_DATA_SIZE */
9650fe61084SRichard Henderson 
9667893e42dSPhilippe Mathieu-Daudé /* The system-mode versions of these helpers are in cputlb.c.  */
967a411d296SPhilippe Mathieu-Daudé 
968e20f73fbSAnton Johansson static void *cpu_mmu_lookup(CPUState *cpu, vaddr addr,
969de95016dSRichard Henderson                             MemOp mop, uintptr_t ra, MMUAccessType type)
970f83bcecbSRichard Henderson {
971c5809eeeSRichard Henderson     int a_bits = memop_alignment_bits(mop);
972f83bcecbSRichard Henderson     void *ret;
973f83bcecbSRichard Henderson 
9749395cd0aSRichard Henderson     /* Enforce guest required alignment.  */
9759395cd0aSRichard Henderson     if (unlikely(addr & ((1 << a_bits) - 1))) {
976e20f73fbSAnton Johansson         cpu_loop_exit_sigbus(cpu, addr, type, ra);
9779395cd0aSRichard Henderson     }
978f83bcecbSRichard Henderson 
979e20f73fbSAnton Johansson     ret = g2h(cpu, addr);
980f83bcecbSRichard Henderson     set_helper_retaddr(ra);
981ed4cfbcdSRichard Henderson     return ret;
982ed4cfbcdSRichard Henderson }
983ed4cfbcdSRichard Henderson 
984585d4b12SPhilippe Mathieu-Daudé /* physical memory access (slow version, mainly for debug) */
985585d4b12SPhilippe Mathieu-Daudé int cpu_memory_rw_debug(CPUState *cpu, vaddr addr,
986585d4b12SPhilippe Mathieu-Daudé                         void *ptr, size_t len, bool is_write)
987585d4b12SPhilippe Mathieu-Daudé {
988585d4b12SPhilippe Mathieu-Daudé     int flags;
989585d4b12SPhilippe Mathieu-Daudé     vaddr l, page;
990585d4b12SPhilippe Mathieu-Daudé     uint8_t *buf = ptr;
991585d4b12SPhilippe Mathieu-Daudé     ssize_t written;
992585d4b12SPhilippe Mathieu-Daudé     int ret = -1;
993585d4b12SPhilippe Mathieu-Daudé     int fd = -1;
994585d4b12SPhilippe Mathieu-Daudé 
995585d4b12SPhilippe Mathieu-Daudé     mmap_lock();
996585d4b12SPhilippe Mathieu-Daudé 
997585d4b12SPhilippe Mathieu-Daudé     while (len > 0) {
998585d4b12SPhilippe Mathieu-Daudé         page = addr & TARGET_PAGE_MASK;
999585d4b12SPhilippe Mathieu-Daudé         l = (page + TARGET_PAGE_SIZE) - addr;
1000585d4b12SPhilippe Mathieu-Daudé         if (l > len) {
1001585d4b12SPhilippe Mathieu-Daudé             l = len;
1002585d4b12SPhilippe Mathieu-Daudé         }
1003585d4b12SPhilippe Mathieu-Daudé         flags = page_get_flags(page);
1004585d4b12SPhilippe Mathieu-Daudé         if (!(flags & PAGE_VALID)) {
1005585d4b12SPhilippe Mathieu-Daudé             goto out_close;
1006585d4b12SPhilippe Mathieu-Daudé         }
1007585d4b12SPhilippe Mathieu-Daudé         if (is_write) {
1008585d4b12SPhilippe Mathieu-Daudé             if (flags & PAGE_WRITE) {
1009585d4b12SPhilippe Mathieu-Daudé                 memcpy(g2h(cpu, addr), buf, l);
1010585d4b12SPhilippe Mathieu-Daudé             } else {
1011585d4b12SPhilippe Mathieu-Daudé                 /* Bypass the host page protection using ptrace. */
1012585d4b12SPhilippe Mathieu-Daudé                 if (fd == -1) {
1013585d4b12SPhilippe Mathieu-Daudé                     fd = open("/proc/self/mem", O_WRONLY);
1014585d4b12SPhilippe Mathieu-Daudé                     if (fd == -1) {
1015585d4b12SPhilippe Mathieu-Daudé                         goto out;
1016585d4b12SPhilippe Mathieu-Daudé                     }
1017585d4b12SPhilippe Mathieu-Daudé                 }
1018585d4b12SPhilippe Mathieu-Daudé                 /*
1019585d4b12SPhilippe Mathieu-Daudé                  * If there is a TranslationBlock and we weren't bypassing the
1020585d4b12SPhilippe Mathieu-Daudé                  * host page protection, the memcpy() above would SEGV,
1021585d4b12SPhilippe Mathieu-Daudé                  * ultimately leading to page_unprotect(). So invalidate the
1022585d4b12SPhilippe Mathieu-Daudé                  * translations manually. Both invalidation and pwrite() must
1023585d4b12SPhilippe Mathieu-Daudé                  * be under mmap_lock() in order to prevent the creation of
1024585d4b12SPhilippe Mathieu-Daudé                  * another TranslationBlock in between.
1025585d4b12SPhilippe Mathieu-Daudé                  */
1026072e057eSRichard Henderson                 tb_invalidate_phys_range(NULL, addr, addr + l - 1);
1027585d4b12SPhilippe Mathieu-Daudé                 written = pwrite(fd, buf, l,
1028585d4b12SPhilippe Mathieu-Daudé                                  (off_t)(uintptr_t)g2h_untagged(addr));
1029585d4b12SPhilippe Mathieu-Daudé                 if (written != l) {
1030585d4b12SPhilippe Mathieu-Daudé                     goto out_close;
1031585d4b12SPhilippe Mathieu-Daudé                 }
1032585d4b12SPhilippe Mathieu-Daudé             }
1033585d4b12SPhilippe Mathieu-Daudé         } else if (flags & PAGE_READ) {
1034585d4b12SPhilippe Mathieu-Daudé             memcpy(buf, g2h(cpu, addr), l);
1035585d4b12SPhilippe Mathieu-Daudé         } else {
1036585d4b12SPhilippe Mathieu-Daudé             /* Bypass the host page protection using ptrace. */
1037585d4b12SPhilippe Mathieu-Daudé             if (fd == -1) {
1038585d4b12SPhilippe Mathieu-Daudé                 fd = open("/proc/self/mem", O_RDONLY);
1039585d4b12SPhilippe Mathieu-Daudé                 if (fd == -1) {
1040585d4b12SPhilippe Mathieu-Daudé                     goto out;
1041585d4b12SPhilippe Mathieu-Daudé                 }
1042585d4b12SPhilippe Mathieu-Daudé             }
1043585d4b12SPhilippe Mathieu-Daudé             if (pread(fd, buf, l,
1044585d4b12SPhilippe Mathieu-Daudé                       (off_t)(uintptr_t)g2h_untagged(addr)) != l) {
1045585d4b12SPhilippe Mathieu-Daudé                 goto out_close;
1046585d4b12SPhilippe Mathieu-Daudé             }
1047585d4b12SPhilippe Mathieu-Daudé         }
1048585d4b12SPhilippe Mathieu-Daudé         len -= l;
1049585d4b12SPhilippe Mathieu-Daudé         buf += l;
1050585d4b12SPhilippe Mathieu-Daudé         addr += l;
1051585d4b12SPhilippe Mathieu-Daudé     }
1052585d4b12SPhilippe Mathieu-Daudé     ret = 0;
1053585d4b12SPhilippe Mathieu-Daudé out_close:
1054585d4b12SPhilippe Mathieu-Daudé     if (fd != -1) {
1055585d4b12SPhilippe Mathieu-Daudé         close(fd);
1056585d4b12SPhilippe Mathieu-Daudé     }
1057585d4b12SPhilippe Mathieu-Daudé out:
1058585d4b12SPhilippe Mathieu-Daudé     mmap_unlock();
1059585d4b12SPhilippe Mathieu-Daudé 
1060585d4b12SPhilippe Mathieu-Daudé     return ret;
1061585d4b12SPhilippe Mathieu-Daudé }
1062585d4b12SPhilippe Mathieu-Daudé 
1063cdfac37bSRichard Henderson #include "ldst_atomicity.c.inc"
1064cdfac37bSRichard Henderson 
1065e20f73fbSAnton Johansson static uint8_t do_ld1_mmu(CPUState *cpu, vaddr addr, MemOpIdx oi,
1066e20f73fbSAnton Johansson                           uintptr_t ra, MMUAccessType access_type)
1067ed4cfbcdSRichard Henderson {
1068f83bcecbSRichard Henderson     void *haddr;
1069f83bcecbSRichard Henderson     uint8_t ret;
1070ed4cfbcdSRichard Henderson 
1071eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_LD | TCG_MO_ST_LD);
1072e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, get_memop(oi), ra, access_type);
1073f83bcecbSRichard Henderson     ret = ldub_p(haddr);
1074f83bcecbSRichard Henderson     clear_helper_retaddr();
1075de95016dSRichard Henderson     return ret;
1076de95016dSRichard Henderson }
1077de95016dSRichard Henderson 
1078e20f73fbSAnton Johansson static uint16_t do_ld2_mmu(CPUState *cpu, vaddr addr, MemOpIdx oi,
1079e20f73fbSAnton Johansson                            uintptr_t ra, MMUAccessType access_type)
1080de95016dSRichard Henderson {
1081de95016dSRichard Henderson     void *haddr;
1082de95016dSRichard Henderson     uint16_t ret;
1083e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1084de95016dSRichard Henderson 
1085eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_LD | TCG_MO_ST_LD);
1086e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, access_type);
1087e20f73fbSAnton Johansson     ret = load_atom_2(cpu, ra, haddr, mop);
1088de95016dSRichard Henderson     clear_helper_retaddr();
1089fbea7a40SRichard Henderson 
1090fbea7a40SRichard Henderson     if (mop & MO_BSWAP) {
1091fbea7a40SRichard Henderson         ret = bswap16(ret);
1092fbea7a40SRichard Henderson     }
1093de95016dSRichard Henderson     return ret;
1094de95016dSRichard Henderson }
1095de95016dSRichard Henderson 
1096e20f73fbSAnton Johansson static uint32_t do_ld4_mmu(CPUState *cpu, vaddr addr, MemOpIdx oi,
1097e20f73fbSAnton Johansson                            uintptr_t ra, MMUAccessType access_type)
1098de95016dSRichard Henderson {
1099de95016dSRichard Henderson     void *haddr;
1100de95016dSRichard Henderson     uint32_t ret;
1101e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1102de95016dSRichard Henderson 
1103eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_LD | TCG_MO_ST_LD);
1104e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, access_type);
1105e20f73fbSAnton Johansson     ret = load_atom_4(cpu, ra, haddr, mop);
1106de95016dSRichard Henderson     clear_helper_retaddr();
1107fbea7a40SRichard Henderson 
1108fbea7a40SRichard Henderson     if (mop & MO_BSWAP) {
1109fbea7a40SRichard Henderson         ret = bswap32(ret);
1110fbea7a40SRichard Henderson     }
1111de95016dSRichard Henderson     return ret;
1112de95016dSRichard Henderson }
1113de95016dSRichard Henderson 
1114e20f73fbSAnton Johansson static uint64_t do_ld8_mmu(CPUState *cpu, vaddr addr, MemOpIdx oi,
1115e20f73fbSAnton Johansson                            uintptr_t ra, MMUAccessType access_type)
1116de95016dSRichard Henderson {
1117de95016dSRichard Henderson     void *haddr;
1118de95016dSRichard Henderson     uint64_t ret;
1119e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1120de95016dSRichard Henderson 
1121eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_LD | TCG_MO_ST_LD);
1122e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, access_type);
1123e20f73fbSAnton Johansson     ret = load_atom_8(cpu, ra, haddr, mop);
1124de95016dSRichard Henderson     clear_helper_retaddr();
1125de95016dSRichard Henderson 
1126de95016dSRichard Henderson     if (mop & MO_BSWAP) {
1127de95016dSRichard Henderson         ret = bswap64(ret);
1128de95016dSRichard Henderson     }
1129de95016dSRichard Henderson     return ret;
1130de95016dSRichard Henderson }
1131de95016dSRichard Henderson 
1132e20f73fbSAnton Johansson static Int128 do_ld16_mmu(CPUState *cpu, abi_ptr addr,
1133e20f73fbSAnton Johansson                           MemOpIdx oi, uintptr_t ra)
1134cb48f365SRichard Henderson {
1135cb48f365SRichard Henderson     void *haddr;
1136cb48f365SRichard Henderson     Int128 ret;
1137e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1138cb48f365SRichard Henderson 
113935c653c4SRichard Henderson     tcg_debug_assert((mop & MO_SIZE) == MO_128);
1140eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_LD | TCG_MO_ST_LD);
1141e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_LOAD);
1142e20f73fbSAnton Johansson     ret = load_atom_16(cpu, ra, haddr, mop);
1143cb48f365SRichard Henderson     clear_helper_retaddr();
114435c653c4SRichard Henderson 
114535c653c4SRichard Henderson     if (mop & MO_BSWAP) {
114635c653c4SRichard Henderson         ret = bswap128(ret);
114735c653c4SRichard Henderson     }
114835c653c4SRichard Henderson     return ret;
114935c653c4SRichard Henderson }
115035c653c4SRichard Henderson 
1151e20f73fbSAnton Johansson static void do_st1_mmu(CPUState *cpu, vaddr addr, uint8_t val,
1152e20f73fbSAnton Johansson                        MemOpIdx oi, uintptr_t ra)
1153ed4cfbcdSRichard Henderson {
1154f83bcecbSRichard Henderson     void *haddr;
1155ed4cfbcdSRichard Henderson 
1156eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_ST | TCG_MO_ST_ST);
1157e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, get_memop(oi), ra, MMU_DATA_STORE);
1158f83bcecbSRichard Henderson     stb_p(haddr, val);
1159ed4cfbcdSRichard Henderson     clear_helper_retaddr();
1160de95016dSRichard Henderson }
1161de95016dSRichard Henderson 
1162e20f73fbSAnton Johansson static void do_st2_mmu(CPUState *cpu, vaddr addr, uint16_t val,
1163e20f73fbSAnton Johansson                        MemOpIdx oi, uintptr_t ra)
1164de95016dSRichard Henderson {
1165de95016dSRichard Henderson     void *haddr;
1166e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1167de95016dSRichard Henderson 
1168eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_ST | TCG_MO_ST_ST);
1169e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_STORE);
1170fbea7a40SRichard Henderson 
1171fbea7a40SRichard Henderson     if (mop & MO_BSWAP) {
1172fbea7a40SRichard Henderson         val = bswap16(val);
1173fbea7a40SRichard Henderson     }
1174e20f73fbSAnton Johansson     store_atom_2(cpu, ra, haddr, mop, val);
1175de95016dSRichard Henderson     clear_helper_retaddr();
1176de95016dSRichard Henderson }
1177de95016dSRichard Henderson 
1178e20f73fbSAnton Johansson static void do_st4_mmu(CPUState *cpu, vaddr addr, uint32_t val,
1179e20f73fbSAnton Johansson                        MemOpIdx oi, uintptr_t ra)
1180de95016dSRichard Henderson {
1181f83bcecbSRichard Henderson     void *haddr;
1182e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1183b9e60257SRichard Henderson 
1184eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_ST | TCG_MO_ST_ST);
1185e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_STORE);
1186fbea7a40SRichard Henderson 
1187fbea7a40SRichard Henderson     if (mop & MO_BSWAP) {
1188fbea7a40SRichard Henderson         val = bswap32(val);
1189fbea7a40SRichard Henderson     }
1190e20f73fbSAnton Johansson     store_atom_4(cpu, ra, haddr, mop, val);
1191b9e60257SRichard Henderson     clear_helper_retaddr();
1192de95016dSRichard Henderson }
1193de95016dSRichard Henderson 
1194e20f73fbSAnton Johansson static void do_st8_mmu(CPUState *cpu, vaddr addr, uint64_t val,
1195e20f73fbSAnton Johansson                        MemOpIdx oi, uintptr_t ra)
1196de95016dSRichard Henderson {
1197f83bcecbSRichard Henderson     void *haddr;
1198e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1199b9e60257SRichard Henderson 
1200eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_ST | TCG_MO_ST_ST);
1201e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_STORE);
1202fbea7a40SRichard Henderson 
1203fbea7a40SRichard Henderson     if (mop & MO_BSWAP) {
1204fbea7a40SRichard Henderson         val = bswap64(val);
1205fbea7a40SRichard Henderson     }
1206e20f73fbSAnton Johansson     store_atom_8(cpu, ra, haddr, mop, val);
1207b9e60257SRichard Henderson     clear_helper_retaddr();
1208de95016dSRichard Henderson }
1209de95016dSRichard Henderson 
1210e20f73fbSAnton Johansson static void do_st16_mmu(CPUState *cpu, vaddr addr, Int128 val,
1211e20f73fbSAnton Johansson                         MemOpIdx oi, uintptr_t ra)
1212cb48f365SRichard Henderson {
1213cb48f365SRichard Henderson     void *haddr;
1214e20f73fbSAnton Johansson     MemOpIdx mop = get_memop(oi);
1215cb48f365SRichard Henderson 
1216eacd8c7cSPhilippe Mathieu-Daudé     cpu_req_mo(cpu, TCG_MO_LD_ST | TCG_MO_ST_ST);
1217e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_STORE);
1218fbea7a40SRichard Henderson 
1219fbea7a40SRichard Henderson     if (mop & MO_BSWAP) {
1220fbea7a40SRichard Henderson         val = bswap128(val);
1221fbea7a40SRichard Henderson     }
1222e20f73fbSAnton Johansson     store_atom_16(cpu, ra, haddr, mop, val);
122335c653c4SRichard Henderson     clear_helper_retaddr();
122435c653c4SRichard Henderson }
122535c653c4SRichard Henderson 
1226446321b3SRichard Henderson uint8_t cpu_ldb_code_mmu(CPUArchState *env, vaddr addr,
122728990626SRichard Henderson                          MemOpIdx oi, uintptr_t ra)
122828990626SRichard Henderson {
122966269bb9SRichard Henderson     return do_ld1_mmu(env_cpu(env), addr, oi, ra ? ra : 1, MMU_INST_FETCH);
123028990626SRichard Henderson }
123128990626SRichard Henderson 
1232446321b3SRichard Henderson uint16_t cpu_ldw_code_mmu(CPUArchState *env, vaddr addr,
123328990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra)
123428990626SRichard Henderson {
123566269bb9SRichard Henderson     return do_ld2_mmu(env_cpu(env), addr, oi, ra ? ra : 1, MMU_INST_FETCH);
123628990626SRichard Henderson }
123728990626SRichard Henderson 
1238446321b3SRichard Henderson uint32_t cpu_ldl_code_mmu(CPUArchState *env, vaddr addr,
123928990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra)
124028990626SRichard Henderson {
124166269bb9SRichard Henderson     return do_ld4_mmu(env_cpu(env), addr, oi, ra ? ra : 1, MMU_INST_FETCH);
124228990626SRichard Henderson }
124328990626SRichard Henderson 
1244446321b3SRichard Henderson uint64_t cpu_ldq_code_mmu(CPUArchState *env, vaddr addr,
124528990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra)
124628990626SRichard Henderson {
124766269bb9SRichard Henderson     return do_ld8_mmu(env_cpu(env), addr, oi, ra ? ra : 1, MMU_INST_FETCH);
124828990626SRichard Henderson }
124928990626SRichard Henderson 
1250f83bcecbSRichard Henderson #include "ldst_common.c.inc"
1251f83bcecbSRichard Henderson 
1252a754f7f3SRichard Henderson /*
1253a754f7f3SRichard Henderson  * Do not allow unaligned operations to proceed.  Return the host address.
1254a754f7f3SRichard Henderson  */
1255d560225fSAnton Johansson static void *atomic_mmu_lookup(CPUState *cpu, vaddr addr, MemOpIdx oi,
1256b0326eb9SAnton Johansson                                int size, uintptr_t retaddr)
1257a411d296SPhilippe Mathieu-Daudé {
1258fce3f474SRichard Henderson     MemOp mop = get_memop(oi);
1259c5809eeeSRichard Henderson     int a_bits = memop_alignment_bits(mop);
1260fce3f474SRichard Henderson     void *ret;
1261fce3f474SRichard Henderson 
1262fce3f474SRichard Henderson     /* Enforce guest required alignment.  */
1263fce3f474SRichard Henderson     if (unlikely(addr & ((1 << a_bits) - 1))) {
1264d560225fSAnton Johansson         cpu_loop_exit_sigbus(cpu, addr, MMU_DATA_STORE, retaddr);
1265fce3f474SRichard Henderson     }
1266fce3f474SRichard Henderson 
1267a411d296SPhilippe Mathieu-Daudé     /* Enforce qemu required alignment.  */
1268a411d296SPhilippe Mathieu-Daudé     if (unlikely(addr & (size - 1))) {
1269d560225fSAnton Johansson         cpu_loop_exit_atomic(cpu, retaddr);
1270a411d296SPhilippe Mathieu-Daudé     }
1271fce3f474SRichard Henderson 
1272d560225fSAnton Johansson     ret = g2h(cpu, addr);
127308b97f7fSRichard Henderson     set_helper_retaddr(retaddr);
127408b97f7fSRichard Henderson     return ret;
1275a411d296SPhilippe Mathieu-Daudé }
1276a411d296SPhilippe Mathieu-Daudé 
1277be9568b4SRichard Henderson #include "atomic_common.c.inc"
1278be9568b4SRichard Henderson 
1279be9568b4SRichard Henderson /*
1280be9568b4SRichard Henderson  * First set of functions passes in OI and RETADDR.
1281be9568b4SRichard Henderson  * This makes them callable from other helpers.
1282be9568b4SRichard Henderson  */
1283be9568b4SRichard Henderson 
1284be9568b4SRichard Henderson #define ATOMIC_NAME(X) \
1285be9568b4SRichard Henderson     glue(glue(glue(cpu_atomic_ ## X, SUFFIX), END), _mmu)
128608b97f7fSRichard Henderson #define ATOMIC_MMU_CLEANUP do { clear_helper_retaddr(); } while (0)
1287a411d296SPhilippe Mathieu-Daudé 
1288a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 1
1289a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
1290a411d296SPhilippe Mathieu-Daudé 
1291a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 2
1292a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
1293a411d296SPhilippe Mathieu-Daudé 
1294a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 4
1295a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
1296a411d296SPhilippe Mathieu-Daudé 
1297a411d296SPhilippe Mathieu-Daudé #ifdef CONFIG_ATOMIC64
1298a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 8
1299a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
1300a411d296SPhilippe Mathieu-Daudé #endif
1301a411d296SPhilippe Mathieu-Daudé 
130276f9d6adSRichard Henderson #if defined(CONFIG_ATOMIC128) || HAVE_CMPXCHG128
1303be9568b4SRichard Henderson #define DATA_SIZE 16
1304be9568b4SRichard Henderson #include "atomic_template.h"
1305be9568b4SRichard Henderson #endif
1306