xref: /openbmc/qemu/accel/tcg/user-exec.c (revision 6e813172b1bd48f94e0a1c717fe3c2b4a701f892)
158410666SPhilippe Mathieu-Daudé /*
258410666SPhilippe Mathieu-Daudé  *  User emulator execution
358410666SPhilippe Mathieu-Daudé  *
458410666SPhilippe Mathieu-Daudé  *  Copyright (c) 2003-2005 Fabrice Bellard
558410666SPhilippe Mathieu-Daudé  *
658410666SPhilippe Mathieu-Daudé  * This library is free software; you can redistribute it and/or
758410666SPhilippe Mathieu-Daudé  * modify it under the terms of the GNU Lesser General Public
858410666SPhilippe Mathieu-Daudé  * License as published by the Free Software Foundation; either
9fb0343d5SThomas Huth  * version 2.1 of the License, or (at your option) any later version.
1058410666SPhilippe Mathieu-Daudé  *
1158410666SPhilippe Mathieu-Daudé  * This library is distributed in the hope that it will be useful,
1258410666SPhilippe Mathieu-Daudé  * but WITHOUT ANY WARRANTY; without even the implied warranty of
1358410666SPhilippe Mathieu-Daudé  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
1458410666SPhilippe Mathieu-Daudé  * Lesser General Public License for more details.
1558410666SPhilippe Mathieu-Daudé  *
1658410666SPhilippe Mathieu-Daudé  * You should have received a copy of the GNU Lesser General Public
1758410666SPhilippe Mathieu-Daudé  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
1858410666SPhilippe Mathieu-Daudé  */
1958410666SPhilippe Mathieu-Daudé #include "qemu/osdep.h"
2078271684SClaudio Fontana #include "hw/core/tcg-cpu-ops.h"
2158410666SPhilippe Mathieu-Daudé #include "disas/disas.h"
2258410666SPhilippe Mathieu-Daudé #include "exec/exec-all.h"
23dcb32f1dSPhilippe Mathieu-Daudé #include "tcg/tcg.h"
2458410666SPhilippe Mathieu-Daudé #include "qemu/bitops.h"
25177a8cb8SRichard Henderson #include "qemu/rcu.h"
2658410666SPhilippe Mathieu-Daudé #include "exec/cpu_ldst.h"
2740ab89f3SPhilippe Mathieu-Daudé #include "qemu/main-loop.h"
283b9bd3f4SPaolo Bonzini #include "exec/translate-all.h"
2974781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h"
30a411d296SPhilippe Mathieu-Daudé #include "exec/helper-proto.h"
31e6cd4bb5SRichard Henderson #include "qemu/atomic128.h"
32243af022SPaolo Bonzini #include "trace.h"
3337e891e3SRichard Henderson #include "tcg/tcg-ldst.h"
3443e7a2d3SPhilippe Mathieu-Daudé #include "internal-common.h"
354c268d6dSPhilippe Mathieu-Daudé #include "internal-target.h"
3658410666SPhilippe Mathieu-Daudé 
37ec603b55SRichard Henderson __thread uintptr_t helper_retaddr;
38ec603b55SRichard Henderson 
3958410666SPhilippe Mathieu-Daudé //#define DEBUG_SIGNAL
4058410666SPhilippe Mathieu-Daudé 
cpu_interrupt(CPUState * cpu,int mask)4140ab89f3SPhilippe Mathieu-Daudé void cpu_interrupt(CPUState *cpu, int mask)
4240ab89f3SPhilippe Mathieu-Daudé {
4340ab89f3SPhilippe Mathieu-Daudé     g_assert(bql_locked());
4440ab89f3SPhilippe Mathieu-Daudé     cpu->interrupt_request |= mask;
4540ab89f3SPhilippe Mathieu-Daudé     qatomic_set(&cpu->neg.icount_decr.u16.high, -1);
4640ab89f3SPhilippe Mathieu-Daudé }
4740ab89f3SPhilippe Mathieu-Daudé 
480fdbb7d2SRichard Henderson /*
490fdbb7d2SRichard Henderson  * Adjust the pc to pass to cpu_restore_state; return the memop type.
500fdbb7d2SRichard Henderson  */
adjust_signal_pc(uintptr_t * pc,bool is_write)510fdbb7d2SRichard Henderson MMUAccessType adjust_signal_pc(uintptr_t *pc, bool is_write)
5258410666SPhilippe Mathieu-Daudé {
5352ba13f0SRichard Henderson     switch (helper_retaddr) {
5452ba13f0SRichard Henderson     default:
5552ba13f0SRichard Henderson         /*
5652ba13f0SRichard Henderson          * Fault during host memory operation within a helper function.
5752ba13f0SRichard Henderson          * The helper's host return address, saved here, gives us a
5852ba13f0SRichard Henderson          * pointer into the generated code that will unwind to the
5952ba13f0SRichard Henderson          * correct guest pc.
60ec603b55SRichard Henderson          */
610fdbb7d2SRichard Henderson         *pc = helper_retaddr;
6252ba13f0SRichard Henderson         break;
6352ba13f0SRichard Henderson 
6452ba13f0SRichard Henderson     case 0:
6552ba13f0SRichard Henderson         /*
6652ba13f0SRichard Henderson          * Fault during host memory operation within generated code.
6752ba13f0SRichard Henderson          * (Or, a unrelated bug within qemu, but we can't tell from here).
6852ba13f0SRichard Henderson          *
6952ba13f0SRichard Henderson          * We take the host pc from the signal frame.  However, we cannot
7052ba13f0SRichard Henderson          * use that value directly.  Within cpu_restore_state_from_tb, we
7152ba13f0SRichard Henderson          * assume PC comes from GETPC(), as used by the helper functions,
7252ba13f0SRichard Henderson          * so we adjust the address by -GETPC_ADJ to form an address that
73e3a6e0daSzhaolichang          * is within the call insn, so that the address does not accidentally
7452ba13f0SRichard Henderson          * match the beginning of the next guest insn.  However, when the
7552ba13f0SRichard Henderson          * pc comes from the signal frame it points to the actual faulting
7652ba13f0SRichard Henderson          * host memory insn and not the return from a call insn.
7752ba13f0SRichard Henderson          *
7852ba13f0SRichard Henderson          * Therefore, adjust to compensate for what will be done later
7952ba13f0SRichard Henderson          * by cpu_restore_state_from_tb.
8052ba13f0SRichard Henderson          */
810fdbb7d2SRichard Henderson         *pc += GETPC_ADJ;
8252ba13f0SRichard Henderson         break;
8352ba13f0SRichard Henderson 
8452ba13f0SRichard Henderson     case 1:
8552ba13f0SRichard Henderson         /*
8652ba13f0SRichard Henderson          * Fault during host read for translation, or loosely, "execution".
8752ba13f0SRichard Henderson          *
8852ba13f0SRichard Henderson          * The guest pc is already pointing to the start of the TB for which
8952ba13f0SRichard Henderson          * code is being generated.  If the guest translator manages the
9052ba13f0SRichard Henderson          * page crossings correctly, this is exactly the correct address
9152ba13f0SRichard Henderson          * (and if the translator doesn't handle page boundaries correctly
9252ba13f0SRichard Henderson          * there's little we can do about that here).  Therefore, do not
9352ba13f0SRichard Henderson          * trigger the unwinder.
9452ba13f0SRichard Henderson          */
950fdbb7d2SRichard Henderson         *pc = 0;
960fdbb7d2SRichard Henderson         return MMU_INST_FETCH;
97ec603b55SRichard Henderson     }
98ec603b55SRichard Henderson 
990fdbb7d2SRichard Henderson     return is_write ? MMU_DATA_STORE : MMU_DATA_LOAD;
1000fdbb7d2SRichard Henderson }
1010fdbb7d2SRichard Henderson 
1025e38ba7dSRichard Henderson /**
1035e38ba7dSRichard Henderson  * handle_sigsegv_accerr_write:
1045e38ba7dSRichard Henderson  * @cpu: the cpu context
1055e38ba7dSRichard Henderson  * @old_set: the sigset_t from the signal ucontext_t
1065e38ba7dSRichard Henderson  * @host_pc: the host pc, adjusted for the signal
1075e38ba7dSRichard Henderson  * @guest_addr: the guest address of the fault
1085e38ba7dSRichard Henderson  *
1095e38ba7dSRichard Henderson  * Return true if the write fault has been handled, and should be re-tried.
1105e38ba7dSRichard Henderson  *
1115e38ba7dSRichard Henderson  * Note that it is important that we don't call page_unprotect() unless
1129323e79fSPeter Maydell  * this is really a "write to nonwritable page" fault, because
1135e38ba7dSRichard Henderson  * page_unprotect() assumes that if it is called for an access to
1149323e79fSPeter Maydell  * a page that's writable this means we had two threads racing and
1159323e79fSPeter Maydell  * another thread got there first and already made the page writable;
1165e38ba7dSRichard Henderson  * so we will retry the access. If we were to call page_unprotect()
1175e38ba7dSRichard Henderson  * for some other kind of fault that should really be passed to the
1185e38ba7dSRichard Henderson  * guest, we'd end up in an infinite loop of retrying the faulting access.
1195e38ba7dSRichard Henderson  */
handle_sigsegv_accerr_write(CPUState * cpu,sigset_t * old_set,uintptr_t host_pc,abi_ptr guest_addr)1205e38ba7dSRichard Henderson bool handle_sigsegv_accerr_write(CPUState *cpu, sigset_t *old_set,
1215e38ba7dSRichard Henderson                                  uintptr_t host_pc, abi_ptr guest_addr)
1225e38ba7dSRichard Henderson {
1235e38ba7dSRichard Henderson     switch (page_unprotect(guest_addr, host_pc)) {
1245e38ba7dSRichard Henderson     case 0:
1255e38ba7dSRichard Henderson         /*
1265e38ba7dSRichard Henderson          * Fault not caused by a page marked unwritable to protect
1275e38ba7dSRichard Henderson          * cached translations, must be the guest binary's problem.
1285e38ba7dSRichard Henderson          */
1295e38ba7dSRichard Henderson         return false;
1305e38ba7dSRichard Henderson     case 1:
1315e38ba7dSRichard Henderson         /*
1325e38ba7dSRichard Henderson          * Fault caused by protection of cached translation; TBs
1335e38ba7dSRichard Henderson          * invalidated, so resume execution.
1345e38ba7dSRichard Henderson          */
1355e38ba7dSRichard Henderson         return true;
1365e38ba7dSRichard Henderson     case 2:
1375e38ba7dSRichard Henderson         /*
1385e38ba7dSRichard Henderson          * Fault caused by protection of cached translation, and the
1395e38ba7dSRichard Henderson          * currently executing TB was modified and must be exited immediately.
1405e38ba7dSRichard Henderson          */
141940b3090SRichard Henderson         sigprocmask(SIG_SETMASK, old_set, NULL);
142940b3090SRichard Henderson         cpu_loop_exit_noexc(cpu);
1435e38ba7dSRichard Henderson         /* NORETURN */
1445e38ba7dSRichard Henderson     default:
1455e38ba7dSRichard Henderson         g_assert_not_reached();
1465e38ba7dSRichard Henderson     }
1475e38ba7dSRichard Henderson }
1485e38ba7dSRichard Henderson 
14967ff2186SRichard Henderson typedef struct PageFlagsNode {
150177a8cb8SRichard Henderson     struct rcu_head rcu;
15167ff2186SRichard Henderson     IntervalTreeNode itree;
15267ff2186SRichard Henderson     int flags;
15367ff2186SRichard Henderson } PageFlagsNode;
154d941c086SRichard Henderson 
15567ff2186SRichard Henderson static IntervalTreeRoot pageflags_root;
15667ff2186SRichard Henderson 
pageflags_find(target_ulong start,target_ulong last)15732b12039SLuca Bonissi static PageFlagsNode *pageflags_find(target_ulong start, target_ulong last)
158d941c086SRichard Henderson {
15967ff2186SRichard Henderson     IntervalTreeNode *n;
16067ff2186SRichard Henderson 
16167ff2186SRichard Henderson     n = interval_tree_iter_first(&pageflags_root, start, last);
16267ff2186SRichard Henderson     return n ? container_of(n, PageFlagsNode, itree) : NULL;
163d941c086SRichard Henderson }
164d941c086SRichard Henderson 
pageflags_next(PageFlagsNode * p,target_ulong start,target_ulong last)16567ff2186SRichard Henderson static PageFlagsNode *pageflags_next(PageFlagsNode *p, target_ulong start,
16632b12039SLuca Bonissi                                      target_ulong last)
167d941c086SRichard Henderson {
16867ff2186SRichard Henderson     IntervalTreeNode *n;
169d941c086SRichard Henderson 
17067ff2186SRichard Henderson     n = interval_tree_iter_next(&p->itree, start, last);
17167ff2186SRichard Henderson     return n ? container_of(n, PageFlagsNode, itree) : NULL;
172d941c086SRichard Henderson }
173d941c086SRichard Henderson 
walk_memory_regions(void * priv,walk_memory_regions_fn fn)174d941c086SRichard Henderson int walk_memory_regions(void *priv, walk_memory_regions_fn fn)
175d941c086SRichard Henderson {
17667ff2186SRichard Henderson     IntervalTreeNode *n;
17767ff2186SRichard Henderson     int rc = 0;
178d941c086SRichard Henderson 
17967ff2186SRichard Henderson     mmap_lock();
18067ff2186SRichard Henderson     for (n = interval_tree_iter_first(&pageflags_root, 0, -1);
18167ff2186SRichard Henderson          n != NULL;
18267ff2186SRichard Henderson          n = interval_tree_iter_next(n, 0, -1)) {
18367ff2186SRichard Henderson         PageFlagsNode *p = container_of(n, PageFlagsNode, itree);
184d941c086SRichard Henderson 
18567ff2186SRichard Henderson         rc = fn(priv, n->start, n->last + 1, p->flags);
186d941c086SRichard Henderson         if (rc != 0) {
18767ff2186SRichard Henderson             break;
188d941c086SRichard Henderson         }
189d941c086SRichard Henderson     }
19067ff2186SRichard Henderson     mmap_unlock();
191d941c086SRichard Henderson 
19267ff2186SRichard Henderson     return rc;
193d941c086SRichard Henderson }
194d941c086SRichard Henderson 
dump_region(void * priv,target_ulong start,target_ulong end,unsigned long prot)195d941c086SRichard Henderson static int dump_region(void *priv, target_ulong start,
196d941c086SRichard Henderson                        target_ulong end, unsigned long prot)
197d941c086SRichard Henderson {
198d941c086SRichard Henderson     FILE *f = (FILE *)priv;
199d941c086SRichard Henderson 
20067ff2186SRichard Henderson     fprintf(f, TARGET_FMT_lx"-"TARGET_FMT_lx" "TARGET_FMT_lx" %c%c%c\n",
201d941c086SRichard Henderson             start, end, end - start,
202d941c086SRichard Henderson             ((prot & PAGE_READ) ? 'r' : '-'),
203d941c086SRichard Henderson             ((prot & PAGE_WRITE) ? 'w' : '-'),
204d941c086SRichard Henderson             ((prot & PAGE_EXEC) ? 'x' : '-'));
205d941c086SRichard Henderson     return 0;
206d941c086SRichard Henderson }
207d941c086SRichard Henderson 
208d941c086SRichard Henderson /* dump memory mappings */
page_dump(FILE * f)209d941c086SRichard Henderson void page_dump(FILE *f)
210d941c086SRichard Henderson {
211d941c086SRichard Henderson     const int length = sizeof(target_ulong) * 2;
21267ff2186SRichard Henderson 
21367ff2186SRichard Henderson     fprintf(f, "%-*s %-*s %-*s %s\n",
214d941c086SRichard Henderson             length, "start", length, "end", length, "size", "prot");
215d941c086SRichard Henderson     walk_memory_regions(f, dump_region);
216d941c086SRichard Henderson }
217d941c086SRichard Henderson 
page_get_flags(target_ulong address)218d941c086SRichard Henderson int page_get_flags(target_ulong address)
219d941c086SRichard Henderson {
22067ff2186SRichard Henderson     PageFlagsNode *p = pageflags_find(address, address);
221d941c086SRichard Henderson 
22267ff2186SRichard Henderson     /*
22367ff2186SRichard Henderson      * See util/interval-tree.c re lockless lookups: no false positives but
22467ff2186SRichard Henderson      * there are false negatives.  If we find nothing, retry with the mmap
22567ff2186SRichard Henderson      * lock acquired.
22667ff2186SRichard Henderson      */
22767ff2186SRichard Henderson     if (p) {
22867ff2186SRichard Henderson         return p->flags;
22967ff2186SRichard Henderson     }
23067ff2186SRichard Henderson     if (have_mmap_lock()) {
231d941c086SRichard Henderson         return 0;
232d941c086SRichard Henderson     }
23367ff2186SRichard Henderson 
23467ff2186SRichard Henderson     mmap_lock();
23567ff2186SRichard Henderson     p = pageflags_find(address, address);
23667ff2186SRichard Henderson     mmap_unlock();
23767ff2186SRichard Henderson     return p ? p->flags : 0;
23867ff2186SRichard Henderson }
23967ff2186SRichard Henderson 
24067ff2186SRichard Henderson /* A subroutine of page_set_flags: insert a new node for [start,last]. */
pageflags_create(target_ulong start,target_ulong last,int flags)24167ff2186SRichard Henderson static void pageflags_create(target_ulong start, target_ulong last, int flags)
24267ff2186SRichard Henderson {
24367ff2186SRichard Henderson     PageFlagsNode *p = g_new(PageFlagsNode, 1);
24467ff2186SRichard Henderson 
24567ff2186SRichard Henderson     p->itree.start = start;
24667ff2186SRichard Henderson     p->itree.last = last;
24767ff2186SRichard Henderson     p->flags = flags;
24867ff2186SRichard Henderson     interval_tree_insert(&p->itree, &pageflags_root);
24967ff2186SRichard Henderson }
25067ff2186SRichard Henderson 
25167ff2186SRichard Henderson /* A subroutine of page_set_flags: remove everything in [start,last]. */
pageflags_unset(target_ulong start,target_ulong last)25267ff2186SRichard Henderson static bool pageflags_unset(target_ulong start, target_ulong last)
25367ff2186SRichard Henderson {
25467ff2186SRichard Henderson     bool inval_tb = false;
25567ff2186SRichard Henderson 
25667ff2186SRichard Henderson     while (true) {
25767ff2186SRichard Henderson         PageFlagsNode *p = pageflags_find(start, last);
25867ff2186SRichard Henderson         target_ulong p_last;
25967ff2186SRichard Henderson 
26067ff2186SRichard Henderson         if (!p) {
26167ff2186SRichard Henderson             break;
26267ff2186SRichard Henderson         }
26367ff2186SRichard Henderson 
26467ff2186SRichard Henderson         if (p->flags & PAGE_EXEC) {
26567ff2186SRichard Henderson             inval_tb = true;
26667ff2186SRichard Henderson         }
26767ff2186SRichard Henderson 
26867ff2186SRichard Henderson         interval_tree_remove(&p->itree, &pageflags_root);
26967ff2186SRichard Henderson         p_last = p->itree.last;
27067ff2186SRichard Henderson 
27167ff2186SRichard Henderson         if (p->itree.start < start) {
27267ff2186SRichard Henderson             /* Truncate the node from the end, or split out the middle. */
27367ff2186SRichard Henderson             p->itree.last = start - 1;
27467ff2186SRichard Henderson             interval_tree_insert(&p->itree, &pageflags_root);
27567ff2186SRichard Henderson             if (last < p_last) {
27667ff2186SRichard Henderson                 pageflags_create(last + 1, p_last, p->flags);
27767ff2186SRichard Henderson                 break;
27867ff2186SRichard Henderson             }
27967ff2186SRichard Henderson         } else if (p_last <= last) {
28067ff2186SRichard Henderson             /* Range completely covers node -- remove it. */
281177a8cb8SRichard Henderson             g_free_rcu(p, rcu);
28267ff2186SRichard Henderson         } else {
28367ff2186SRichard Henderson             /* Truncate the node from the start. */
28467ff2186SRichard Henderson             p->itree.start = last + 1;
28567ff2186SRichard Henderson             interval_tree_insert(&p->itree, &pageflags_root);
28667ff2186SRichard Henderson             break;
28767ff2186SRichard Henderson         }
28867ff2186SRichard Henderson     }
28967ff2186SRichard Henderson 
29067ff2186SRichard Henderson     return inval_tb;
29167ff2186SRichard Henderson }
29267ff2186SRichard Henderson 
29367ff2186SRichard Henderson /*
29467ff2186SRichard Henderson  * A subroutine of page_set_flags: nothing overlaps [start,last],
29567ff2186SRichard Henderson  * but check adjacent mappings and maybe merge into a single range.
29667ff2186SRichard Henderson  */
pageflags_create_merge(target_ulong start,target_ulong last,int flags)29767ff2186SRichard Henderson static void pageflags_create_merge(target_ulong start, target_ulong last,
29867ff2186SRichard Henderson                                    int flags)
29967ff2186SRichard Henderson {
30067ff2186SRichard Henderson     PageFlagsNode *next = NULL, *prev = NULL;
30167ff2186SRichard Henderson 
30267ff2186SRichard Henderson     if (start > 0) {
30367ff2186SRichard Henderson         prev = pageflags_find(start - 1, start - 1);
30467ff2186SRichard Henderson         if (prev) {
30567ff2186SRichard Henderson             if (prev->flags == flags) {
30667ff2186SRichard Henderson                 interval_tree_remove(&prev->itree, &pageflags_root);
30767ff2186SRichard Henderson             } else {
30867ff2186SRichard Henderson                 prev = NULL;
30967ff2186SRichard Henderson             }
31067ff2186SRichard Henderson         }
31167ff2186SRichard Henderson     }
31267ff2186SRichard Henderson     if (last + 1 != 0) {
31367ff2186SRichard Henderson         next = pageflags_find(last + 1, last + 1);
31467ff2186SRichard Henderson         if (next) {
31567ff2186SRichard Henderson             if (next->flags == flags) {
31667ff2186SRichard Henderson                 interval_tree_remove(&next->itree, &pageflags_root);
31767ff2186SRichard Henderson             } else {
31867ff2186SRichard Henderson                 next = NULL;
31967ff2186SRichard Henderson             }
32067ff2186SRichard Henderson         }
32167ff2186SRichard Henderson     }
32267ff2186SRichard Henderson 
32367ff2186SRichard Henderson     if (prev) {
32467ff2186SRichard Henderson         if (next) {
32567ff2186SRichard Henderson             prev->itree.last = next->itree.last;
326177a8cb8SRichard Henderson             g_free_rcu(next, rcu);
32767ff2186SRichard Henderson         } else {
32867ff2186SRichard Henderson             prev->itree.last = last;
32967ff2186SRichard Henderson         }
33067ff2186SRichard Henderson         interval_tree_insert(&prev->itree, &pageflags_root);
33167ff2186SRichard Henderson     } else if (next) {
33267ff2186SRichard Henderson         next->itree.start = start;
33367ff2186SRichard Henderson         interval_tree_insert(&next->itree, &pageflags_root);
33467ff2186SRichard Henderson     } else {
33567ff2186SRichard Henderson         pageflags_create(start, last, flags);
33667ff2186SRichard Henderson     }
337d941c086SRichard Henderson }
338d941c086SRichard Henderson 
339d941c086SRichard Henderson /*
340d941c086SRichard Henderson  * Allow the target to decide if PAGE_TARGET_[12] may be reset.
341d941c086SRichard Henderson  * By default, they are not kept.
342d941c086SRichard Henderson  */
343d941c086SRichard Henderson #ifndef PAGE_TARGET_STICKY
344d941c086SRichard Henderson #define PAGE_TARGET_STICKY  0
345d941c086SRichard Henderson #endif
346d941c086SRichard Henderson #define PAGE_STICKY  (PAGE_ANON | PAGE_PASSTHROUGH | PAGE_TARGET_STICKY)
347d941c086SRichard Henderson 
34867ff2186SRichard Henderson /* A subroutine of page_set_flags: add flags to [start,last]. */
pageflags_set_clear(target_ulong start,target_ulong last,int set_flags,int clear_flags)34967ff2186SRichard Henderson static bool pageflags_set_clear(target_ulong start, target_ulong last,
35067ff2186SRichard Henderson                                 int set_flags, int clear_flags)
35167ff2186SRichard Henderson {
35267ff2186SRichard Henderson     PageFlagsNode *p;
35367ff2186SRichard Henderson     target_ulong p_start, p_last;
35467ff2186SRichard Henderson     int p_flags, merge_flags;
35567ff2186SRichard Henderson     bool inval_tb = false;
35667ff2186SRichard Henderson 
35767ff2186SRichard Henderson  restart:
35867ff2186SRichard Henderson     p = pageflags_find(start, last);
35967ff2186SRichard Henderson     if (!p) {
36067ff2186SRichard Henderson         if (set_flags) {
36167ff2186SRichard Henderson             pageflags_create_merge(start, last, set_flags);
36267ff2186SRichard Henderson         }
36367ff2186SRichard Henderson         goto done;
36467ff2186SRichard Henderson     }
36567ff2186SRichard Henderson 
36667ff2186SRichard Henderson     p_start = p->itree.start;
36767ff2186SRichard Henderson     p_last = p->itree.last;
36867ff2186SRichard Henderson     p_flags = p->flags;
36967ff2186SRichard Henderson     /* Using mprotect on a page does not change sticky bits. */
37067ff2186SRichard Henderson     merge_flags = (p_flags & ~clear_flags) | set_flags;
37167ff2186SRichard Henderson 
37267ff2186SRichard Henderson     /*
37367ff2186SRichard Henderson      * Need to flush if an overlapping executable region
37467ff2186SRichard Henderson      * removes exec, or adds write.
37567ff2186SRichard Henderson      */
37667ff2186SRichard Henderson     if ((p_flags & PAGE_EXEC)
37767ff2186SRichard Henderson         && (!(merge_flags & PAGE_EXEC)
37867ff2186SRichard Henderson             || (merge_flags & ~p_flags & PAGE_WRITE))) {
37967ff2186SRichard Henderson         inval_tb = true;
38067ff2186SRichard Henderson     }
38167ff2186SRichard Henderson 
38267ff2186SRichard Henderson     /*
38367ff2186SRichard Henderson      * If there is an exact range match, update and return without
38467ff2186SRichard Henderson      * attempting to merge with adjacent regions.
38567ff2186SRichard Henderson      */
38667ff2186SRichard Henderson     if (start == p_start && last == p_last) {
38767ff2186SRichard Henderson         if (merge_flags) {
38867ff2186SRichard Henderson             p->flags = merge_flags;
38967ff2186SRichard Henderson         } else {
39067ff2186SRichard Henderson             interval_tree_remove(&p->itree, &pageflags_root);
391177a8cb8SRichard Henderson             g_free_rcu(p, rcu);
39267ff2186SRichard Henderson         }
39367ff2186SRichard Henderson         goto done;
39467ff2186SRichard Henderson     }
39567ff2186SRichard Henderson 
39667ff2186SRichard Henderson     /*
39767ff2186SRichard Henderson      * If sticky bits affect the original mapping, then we must be more
39867ff2186SRichard Henderson      * careful about the existing intervals and the separate flags.
39967ff2186SRichard Henderson      */
40067ff2186SRichard Henderson     if (set_flags != merge_flags) {
40167ff2186SRichard Henderson         if (p_start < start) {
40267ff2186SRichard Henderson             interval_tree_remove(&p->itree, &pageflags_root);
40367ff2186SRichard Henderson             p->itree.last = start - 1;
40467ff2186SRichard Henderson             interval_tree_insert(&p->itree, &pageflags_root);
40567ff2186SRichard Henderson 
40667ff2186SRichard Henderson             if (last < p_last) {
40767ff2186SRichard Henderson                 if (merge_flags) {
40867ff2186SRichard Henderson                     pageflags_create(start, last, merge_flags);
40967ff2186SRichard Henderson                 }
41067ff2186SRichard Henderson                 pageflags_create(last + 1, p_last, p_flags);
41167ff2186SRichard Henderson             } else {
41267ff2186SRichard Henderson                 if (merge_flags) {
41367ff2186SRichard Henderson                     pageflags_create(start, p_last, merge_flags);
41467ff2186SRichard Henderson                 }
41567ff2186SRichard Henderson                 if (p_last < last) {
41667ff2186SRichard Henderson                     start = p_last + 1;
41767ff2186SRichard Henderson                     goto restart;
41867ff2186SRichard Henderson                 }
41967ff2186SRichard Henderson             }
42067ff2186SRichard Henderson         } else {
42167ff2186SRichard Henderson             if (start < p_start && set_flags) {
42267ff2186SRichard Henderson                 pageflags_create(start, p_start - 1, set_flags);
42367ff2186SRichard Henderson             }
42467ff2186SRichard Henderson             if (last < p_last) {
42567ff2186SRichard Henderson                 interval_tree_remove(&p->itree, &pageflags_root);
42667ff2186SRichard Henderson                 p->itree.start = last + 1;
42767ff2186SRichard Henderson                 interval_tree_insert(&p->itree, &pageflags_root);
42867ff2186SRichard Henderson                 if (merge_flags) {
42967ff2186SRichard Henderson                     pageflags_create(start, last, merge_flags);
43067ff2186SRichard Henderson                 }
43167ff2186SRichard Henderson             } else {
43267ff2186SRichard Henderson                 if (merge_flags) {
43367ff2186SRichard Henderson                     p->flags = merge_flags;
43467ff2186SRichard Henderson                 } else {
43567ff2186SRichard Henderson                     interval_tree_remove(&p->itree, &pageflags_root);
436177a8cb8SRichard Henderson                     g_free_rcu(p, rcu);
43767ff2186SRichard Henderson                 }
43867ff2186SRichard Henderson                 if (p_last < last) {
43967ff2186SRichard Henderson                     start = p_last + 1;
44067ff2186SRichard Henderson                     goto restart;
44167ff2186SRichard Henderson                 }
44267ff2186SRichard Henderson             }
44367ff2186SRichard Henderson         }
44467ff2186SRichard Henderson         goto done;
44567ff2186SRichard Henderson     }
44667ff2186SRichard Henderson 
44767ff2186SRichard Henderson     /* If flags are not changing for this range, incorporate it. */
44867ff2186SRichard Henderson     if (set_flags == p_flags) {
44967ff2186SRichard Henderson         if (start < p_start) {
45067ff2186SRichard Henderson             interval_tree_remove(&p->itree, &pageflags_root);
45167ff2186SRichard Henderson             p->itree.start = start;
45267ff2186SRichard Henderson             interval_tree_insert(&p->itree, &pageflags_root);
45367ff2186SRichard Henderson         }
45467ff2186SRichard Henderson         if (p_last < last) {
45567ff2186SRichard Henderson             start = p_last + 1;
45667ff2186SRichard Henderson             goto restart;
45767ff2186SRichard Henderson         }
45867ff2186SRichard Henderson         goto done;
45967ff2186SRichard Henderson     }
46067ff2186SRichard Henderson 
46167ff2186SRichard Henderson     /* Maybe split out head and/or tail ranges with the original flags. */
46267ff2186SRichard Henderson     interval_tree_remove(&p->itree, &pageflags_root);
46367ff2186SRichard Henderson     if (p_start < start) {
46467ff2186SRichard Henderson         p->itree.last = start - 1;
46567ff2186SRichard Henderson         interval_tree_insert(&p->itree, &pageflags_root);
46667ff2186SRichard Henderson 
46767ff2186SRichard Henderson         if (p_last < last) {
46867ff2186SRichard Henderson             goto restart;
46967ff2186SRichard Henderson         }
47067ff2186SRichard Henderson         if (last < p_last) {
47167ff2186SRichard Henderson             pageflags_create(last + 1, p_last, p_flags);
47267ff2186SRichard Henderson         }
47367ff2186SRichard Henderson     } else if (last < p_last) {
47467ff2186SRichard Henderson         p->itree.start = last + 1;
47567ff2186SRichard Henderson         interval_tree_insert(&p->itree, &pageflags_root);
47667ff2186SRichard Henderson     } else {
477177a8cb8SRichard Henderson         g_free_rcu(p, rcu);
47867ff2186SRichard Henderson         goto restart;
47967ff2186SRichard Henderson     }
48067ff2186SRichard Henderson     if (set_flags) {
48167ff2186SRichard Henderson         pageflags_create(start, last, set_flags);
48267ff2186SRichard Henderson     }
48367ff2186SRichard Henderson 
48467ff2186SRichard Henderson  done:
48567ff2186SRichard Henderson     return inval_tb;
48667ff2186SRichard Henderson }
48767ff2186SRichard Henderson 
page_set_flags(target_ulong start,target_ulong last,int flags)488d941c086SRichard Henderson void page_set_flags(target_ulong start, target_ulong last, int flags)
489d941c086SRichard Henderson {
490d941c086SRichard Henderson     bool reset = false;
491d941c086SRichard Henderson     bool inval_tb = false;
492d941c086SRichard Henderson 
49349840a4aSRichard Henderson     /* This function should never be called with addresses outside the
494d941c086SRichard Henderson        guest address space.  If this assert fires, it probably indicates
49567ff2186SRichard Henderson        a missing call to h2g_valid.  */
49667ff2186SRichard Henderson     assert(start <= last);
497d941c086SRichard Henderson     assert(last <= GUEST_ADDR_MAX);
498d941c086SRichard Henderson     /* Only set PAGE_ANON with new mappings. */
499d941c086SRichard Henderson     assert(!(flags & PAGE_ANON) || (flags & PAGE_RESET));
500d941c086SRichard Henderson     assert_memory_lock();
50149840a4aSRichard Henderson 
50249840a4aSRichard Henderson     start &= TARGET_PAGE_MASK;
503d941c086SRichard Henderson     last |= ~TARGET_PAGE_MASK;
504d941c086SRichard Henderson 
505d941c086SRichard Henderson     if (!(flags & PAGE_VALID)) {
506d941c086SRichard Henderson         flags = 0;
50749840a4aSRichard Henderson     } else {
50849840a4aSRichard Henderson         reset = flags & PAGE_RESET;
509d941c086SRichard Henderson         flags &= ~PAGE_RESET;
51067ff2186SRichard Henderson         if (flags & PAGE_WRITE) {
51167ff2186SRichard Henderson             flags |= PAGE_WRITE_ORG;
51267ff2186SRichard Henderson         }
51367ff2186SRichard Henderson     }
51467ff2186SRichard Henderson 
515d941c086SRichard Henderson     if (!flags || reset) {
516d941c086SRichard Henderson         page_reset_target_data(start, last);
517d941c086SRichard Henderson         inval_tb |= pageflags_unset(start, last);
51867ff2186SRichard Henderson     }
51967ff2186SRichard Henderson     if (flags) {
52067ff2186SRichard Henderson         inval_tb |= pageflags_set_clear(start, last, flags,
52110310cbdSRichard Henderson                                         ~(reset ? 0 : PAGE_STICKY));
52267ff2186SRichard Henderson     }
523d941c086SRichard Henderson     if (inval_tb) {
52467ff2186SRichard Henderson         tb_invalidate_phys_range(start, last);
52567ff2186SRichard Henderson     }
52667ff2186SRichard Henderson }
527d941c086SRichard Henderson 
page_check_range(target_ulong start,target_ulong len,int flags)528d941c086SRichard Henderson bool page_check_range(target_ulong start, target_ulong len, int flags)
529e506ad6aSRichard Henderson {
530d941c086SRichard Henderson     target_ulong last;
531d941c086SRichard Henderson     int locked;  /* tri-state: =0: unlocked, +1: global, -1: local */
532d941c086SRichard Henderson     bool ret;
533bef6f008SRichard Henderson 
534d941c086SRichard Henderson     if (len == 0) {
53567ff2186SRichard Henderson         return true;  /* trivial length */
536e630c012SRichard Henderson     }
537bef6f008SRichard Henderson 
538d941c086SRichard Henderson     last = start + len - 1;
539d941c086SRichard Henderson     if (last < start) {
540bef6f008SRichard Henderson         return false; /* wrap around */
541d941c086SRichard Henderson     }
542d941c086SRichard Henderson 
54367ff2186SRichard Henderson     locked = have_mmap_lock();
54467ff2186SRichard Henderson     while (true) {
545bef6f008SRichard Henderson         PageFlagsNode *p = pageflags_find(start, last);
54667ff2186SRichard Henderson         int missing;
547d941c086SRichard Henderson 
548e630c012SRichard Henderson         if (!p) {
54967ff2186SRichard Henderson             if (!locked) {
55067ff2186SRichard Henderson                 /*
55167ff2186SRichard Henderson                  * Lockless lookups have false negatives.
55267ff2186SRichard Henderson                  * Retry with the lock held.
553d941c086SRichard Henderson                  */
554e630c012SRichard Henderson                 mmap_lock();
555e630c012SRichard Henderson                 locked = -1;
556e630c012SRichard Henderson                 p = pageflags_find(start, last);
557e630c012SRichard Henderson             }
558e630c012SRichard Henderson             if (!p) {
559e630c012SRichard Henderson                 ret = false; /* entire region invalid */
560e630c012SRichard Henderson                 break;
561e630c012SRichard Henderson             }
562e630c012SRichard Henderson         }
563e630c012SRichard Henderson         if (start < p->itree.start) {
564bef6f008SRichard Henderson             ret = false; /* initial bytes invalid */
565e630c012SRichard Henderson             break;
566e630c012SRichard Henderson         }
567d941c086SRichard Henderson 
56867ff2186SRichard Henderson         missing = flags & ~p->flags;
569bef6f008SRichard Henderson         if (missing & ~PAGE_WRITE) {
570e630c012SRichard Henderson             ret = false; /* page doesn't match */
571d941c086SRichard Henderson             break;
572d941c086SRichard Henderson         }
57367ff2186SRichard Henderson         if (missing & PAGE_WRITE) {
57491e9e116SRichard Henderson             if (!(p->flags & PAGE_WRITE_ORG)) {
575bef6f008SRichard Henderson                 ret = false; /* page not writable */
576e630c012SRichard Henderson                 break;
577d941c086SRichard Henderson             }
57867ff2186SRichard Henderson             /* Asking about writable, but has been protected: undo. */
579d941c086SRichard Henderson             if (!page_unprotect(start, 0)) {
580bef6f008SRichard Henderson                 ret = false;
581e630c012SRichard Henderson                 break;
58267ff2186SRichard Henderson             }
58367ff2186SRichard Henderson             /* TODO: page_unprotect should take a range, not a single page. */
58467ff2186SRichard Henderson             if (last - start < TARGET_PAGE_SIZE) {
585bef6f008SRichard Henderson                 ret = true; /* ok */
586e630c012SRichard Henderson                 break;
587d941c086SRichard Henderson             }
58867ff2186SRichard Henderson             start += TARGET_PAGE_SIZE;
58967ff2186SRichard Henderson             continue;
590bef6f008SRichard Henderson         }
591e630c012SRichard Henderson 
592d941c086SRichard Henderson         if (last <= p->itree.last) {
59367ff2186SRichard Henderson             ret = true; /* ok */
594d941c086SRichard Henderson             break;
595d941c086SRichard Henderson         }
59667ff2186SRichard Henderson         start = p->itree.last + 1;
59767ff2186SRichard Henderson     }
598bef6f008SRichard Henderson 
599e630c012SRichard Henderson     /* Release the lock if acquired locally. */
600d941c086SRichard Henderson     if (locked < 0) {
60167ff2186SRichard Henderson         mmap_unlock();
60267ff2186SRichard Henderson     }
603e630c012SRichard Henderson     return ret;
604e630c012SRichard Henderson }
605e630c012SRichard Henderson 
page_check_range_empty(target_ulong start,target_ulong last)606e630c012SRichard Henderson bool page_check_range_empty(target_ulong start, target_ulong last)
607e630c012SRichard Henderson {
608e630c012SRichard Henderson     assert(last >= start);
60967ff2186SRichard Henderson     assert_memory_lock();
61067ff2186SRichard Henderson     return pageflags_find(start, last) == NULL;
611c2281ddcSRichard Henderson }
612c2281ddcSRichard Henderson 
page_find_range_empty(target_ulong min,target_ulong max,target_ulong len,target_ulong align)613c2281ddcSRichard Henderson target_ulong page_find_range_empty(target_ulong min, target_ulong max,
614c2281ddcSRichard Henderson                                    target_ulong len, target_ulong align)
615c2281ddcSRichard Henderson {
616c2281ddcSRichard Henderson     target_ulong len_m1, align_m1;
617c2281ddcSRichard Henderson 
618f2bb7cf2SRichard Henderson     assert(min <= max);
619f2bb7cf2SRichard Henderson     assert(max <= GUEST_ADDR_MAX);
620f2bb7cf2SRichard Henderson     assert(len != 0);
621f2bb7cf2SRichard Henderson     assert(is_power_of_2(align));
622f2bb7cf2SRichard Henderson     assert_memory_lock();
623f2bb7cf2SRichard Henderson 
624f2bb7cf2SRichard Henderson     len_m1 = len - 1;
625f2bb7cf2SRichard Henderson     align_m1 = align - 1;
626f2bb7cf2SRichard Henderson 
627f2bb7cf2SRichard Henderson     /* Iteratively narrow the search region. */
628f2bb7cf2SRichard Henderson     while (1) {
629f2bb7cf2SRichard Henderson         PageFlagsNode *p;
630f2bb7cf2SRichard Henderson 
631f2bb7cf2SRichard Henderson         /* Align min and double-check there's enough space remaining. */
632f2bb7cf2SRichard Henderson         min = (min + align_m1) & ~align_m1;
633f2bb7cf2SRichard Henderson         if (min > max) {
634f2bb7cf2SRichard Henderson             return -1;
635f2bb7cf2SRichard Henderson         }
636f2bb7cf2SRichard Henderson         if (len_m1 > max - min) {
637f2bb7cf2SRichard Henderson             return -1;
638f2bb7cf2SRichard Henderson         }
639f2bb7cf2SRichard Henderson 
640f2bb7cf2SRichard Henderson         p = pageflags_find(min, min + len_m1);
641f2bb7cf2SRichard Henderson         if (p == NULL) {
642f2bb7cf2SRichard Henderson             /* Found! */
643f2bb7cf2SRichard Henderson             return min;
644f2bb7cf2SRichard Henderson         }
645f2bb7cf2SRichard Henderson         if (max <= p->itree.last) {
646f2bb7cf2SRichard Henderson             /* Existing allocation fills the remainder of the search region. */
647f2bb7cf2SRichard Henderson             return -1;
648f2bb7cf2SRichard Henderson         }
649f2bb7cf2SRichard Henderson         /* Skip across existing allocation. */
650f2bb7cf2SRichard Henderson         min = p->itree.last + 1;
651f2bb7cf2SRichard Henderson     }
652f2bb7cf2SRichard Henderson }
653f2bb7cf2SRichard Henderson 
page_protect(tb_page_addr_t address)654f2bb7cf2SRichard Henderson void page_protect(tb_page_addr_t address)
655f2bb7cf2SRichard Henderson {
656f2bb7cf2SRichard Henderson     PageFlagsNode *p;
657f2bb7cf2SRichard Henderson     target_ulong start, last;
658f2bb7cf2SRichard Henderson     int host_page_size = qemu_real_host_page_size();
65967ff2186SRichard Henderson     int prot;
66067ff2186SRichard Henderson 
66167ff2186SRichard Henderson     assert_memory_lock();
66267ff2186SRichard Henderson 
663a372d483SRichard Henderson     if (host_page_size <= TARGET_PAGE_SIZE) {
66467ff2186SRichard Henderson         start = address & TARGET_PAGE_MASK;
66567ff2186SRichard Henderson         last = start + TARGET_PAGE_SIZE - 1;
66667ff2186SRichard Henderson     } else {
66767ff2186SRichard Henderson         start = address & -host_page_size;
668a372d483SRichard Henderson         last = start + host_page_size - 1;
66967ff2186SRichard Henderson     }
67067ff2186SRichard Henderson 
67167ff2186SRichard Henderson     p = pageflags_find(start, last);
672a372d483SRichard Henderson     if (!p) {
673a372d483SRichard Henderson         return;
67467ff2186SRichard Henderson     }
67567ff2186SRichard Henderson     prot = p->flags;
67667ff2186SRichard Henderson 
67767ff2186SRichard Henderson     if (unlikely(p->itree.last < last)) {
67867ff2186SRichard Henderson         /* More than one protection region covers the one host page. */
67967ff2186SRichard Henderson         assert(TARGET_PAGE_SIZE < host_page_size);
68067ff2186SRichard Henderson         while ((p = pageflags_next(p, start, last)) != NULL) {
68167ff2186SRichard Henderson             prot |= p->flags;
68267ff2186SRichard Henderson         }
68367ff2186SRichard Henderson     }
684a372d483SRichard Henderson 
68567ff2186SRichard Henderson     if (prot & PAGE_WRITE) {
68667ff2186SRichard Henderson         pageflags_set_clear(start, last, 0, PAGE_WRITE);
68767ff2186SRichard Henderson         mprotect(g2h_untagged(start), last - start + 1,
68867ff2186SRichard Henderson                  prot & (PAGE_READ | PAGE_EXEC) ? PROT_READ : PROT_NONE);
68967ff2186SRichard Henderson     }
69067ff2186SRichard Henderson }
69167ff2186SRichard Henderson 
692a372d483SRichard Henderson /*
69367ff2186SRichard Henderson  * Called from signal handler: invalidate the code and unprotect the
694d941c086SRichard Henderson  * page. Return 0 if the fault was not handled, 1 if it was handled,
695d941c086SRichard Henderson  * and 2 if it was handled but the caller must cause the TB to be
696d941c086SRichard Henderson  * immediately exited. (We can only return 2 if the 'pc' argument is
697d941c086SRichard Henderson  * non-zero.)
698d941c086SRichard Henderson  */
page_unprotect(target_ulong address,uintptr_t pc)699d941c086SRichard Henderson int page_unprotect(target_ulong address, uintptr_t pc)
700d941c086SRichard Henderson {
701d941c086SRichard Henderson     PageFlagsNode *p;
702d941c086SRichard Henderson     bool current_tb_invalidated;
703d941c086SRichard Henderson 
704d941c086SRichard Henderson     /*
705d941c086SRichard Henderson      * Technically this isn't safe inside a signal handler.  However we
70667ff2186SRichard Henderson      * know this only ever happens in a synchronous SEGV handler, so in
707d941c086SRichard Henderson      * practice it seems to be ok.
708d941c086SRichard Henderson      */
709d941c086SRichard Henderson     mmap_lock();
710d941c086SRichard Henderson 
711d941c086SRichard Henderson     p = pageflags_find(address, address);
712d941c086SRichard Henderson 
713d941c086SRichard Henderson     /* If this address was not really writable, nothing to do. */
714d941c086SRichard Henderson     if (!p || !(p->flags & PAGE_WRITE_ORG)) {
715d941c086SRichard Henderson         mmap_unlock();
71667ff2186SRichard Henderson         return 0;
71767ff2186SRichard Henderson     }
71867ff2186SRichard Henderson 
71967ff2186SRichard Henderson     current_tb_invalidated = false;
720d941c086SRichard Henderson     if (p->flags & PAGE_WRITE) {
721d941c086SRichard Henderson         /*
722d941c086SRichard Henderson          * If the page is actually marked WRITE then assume this is because
723d941c086SRichard Henderson          * this thread raced with another one which got here first and
724d941c086SRichard Henderson          * set the page to PAGE_WRITE and did the TB invalidate for us.
725d941c086SRichard Henderson          */
726d941c086SRichard Henderson #ifdef TARGET_HAS_PRECISE_SMC
727d941c086SRichard Henderson         TranslationBlock *current_tb = tcg_tb_lookup(pc);
728d941c086SRichard Henderson         if (current_tb) {
729d941c086SRichard Henderson             current_tb_invalidated = tb_cflags(current_tb) & CF_INVALID;
730d941c086SRichard Henderson         }
731d941c086SRichard Henderson #endif
732d941c086SRichard Henderson     } else {
733d941c086SRichard Henderson         int host_page_size = qemu_real_host_page_size();
734d941c086SRichard Henderson         target_ulong start, len, i;
735d941c086SRichard Henderson         int prot;
736d941c086SRichard Henderson 
737d941c086SRichard Henderson         if (host_page_size <= TARGET_PAGE_SIZE) {
738a372d483SRichard Henderson             start = address & TARGET_PAGE_MASK;
73967ff2186SRichard Henderson             len = TARGET_PAGE_SIZE;
74067ff2186SRichard Henderson             prot = p->flags | PAGE_WRITE;
741d941c086SRichard Henderson             pageflags_set_clear(start, start + len - 1, PAGE_WRITE, 0);
742a372d483SRichard Henderson             current_tb_invalidated = tb_invalidate_phys_page_unwind(start, pc);
74367ff2186SRichard Henderson         } else {
74467ff2186SRichard Henderson             start = address & -host_page_size;
74567ff2186SRichard Henderson             len = host_page_size;
74667ff2186SRichard Henderson             prot = 0;
74767ff2186SRichard Henderson 
74867ff2186SRichard Henderson             for (i = 0; i < len; i += TARGET_PAGE_SIZE) {
749a372d483SRichard Henderson                 target_ulong addr = start + i;
750a372d483SRichard Henderson 
751d941c086SRichard Henderson                 p = pageflags_find(addr, addr);
752d941c086SRichard Henderson                 if (p) {
75367ff2186SRichard Henderson                     prot |= p->flags;
75467ff2186SRichard Henderson                     if (p->flags & PAGE_WRITE_ORG) {
75567ff2186SRichard Henderson                         prot |= PAGE_WRITE;
75667ff2186SRichard Henderson                         pageflags_set_clear(addr, addr + TARGET_PAGE_SIZE - 1,
75767ff2186SRichard Henderson                                             PAGE_WRITE, 0);
75867ff2186SRichard Henderson                     }
75967ff2186SRichard Henderson                 }
76067ff2186SRichard Henderson                 /*
76167ff2186SRichard Henderson                  * Since the content will be modified, we must invalidate
76267ff2186SRichard Henderson                  * the corresponding translated code.
76367ff2186SRichard Henderson                  */
76467ff2186SRichard Henderson                 current_tb_invalidated |=
765d941c086SRichard Henderson                     tb_invalidate_phys_page_unwind(addr, pc);
766d941c086SRichard Henderson             }
767d941c086SRichard Henderson         }
768d941c086SRichard Henderson         if (prot & PAGE_EXEC) {
769d941c086SRichard Henderson             prot = (prot & ~PAGE_EXEC) | PAGE_READ;
770d941c086SRichard Henderson         }
771d941c086SRichard Henderson         mprotect((void *)g2h_untagged(start), len, prot & PAGE_RWX);
77267ff2186SRichard Henderson     }
77367ff2186SRichard Henderson     mmap_unlock();
77467ff2186SRichard Henderson 
77567ff2186SRichard Henderson     /* If current TB was invalidated return to main loop */
77686b7c551SBALATON Zoltan     return current_tb_invalidated ? 2 : 1;
777d941c086SRichard Henderson }
778d941c086SRichard Henderson 
probe_access_internal(CPUArchState * env,vaddr addr,int fault_size,MMUAccessType access_type,bool nonfault,uintptr_t ra)77967ff2186SRichard Henderson static int probe_access_internal(CPUArchState *env, vaddr addr,
780d941c086SRichard Henderson                                  int fault_size, MMUAccessType access_type,
781d941c086SRichard Henderson                                  bool nonfault, uintptr_t ra)
782d941c086SRichard Henderson {
783d941c086SRichard Henderson     int acc_flag;
7844f8f4127SAnton Johansson     bool maperr;
785069cfe77SRichard Henderson 
786069cfe77SRichard Henderson     switch (access_type) {
78759e96ac6SDavid Hildenbrand     case MMU_DATA_STORE:
78872d2bbf9SRichard Henderson         acc_flag = PAGE_WRITE_ORG;
78972d2bbf9SRichard Henderson         break;
790c25c283dSDavid Hildenbrand     case MMU_DATA_LOAD:
791c25c283dSDavid Hildenbrand         acc_flag = PAGE_READ;
792c25c283dSDavid Hildenbrand         break;
79372d2bbf9SRichard Henderson     case MMU_INST_FETCH:
794c25c283dSDavid Hildenbrand         acc_flag = PAGE_EXEC;
795c25c283dSDavid Hildenbrand         break;
79672d2bbf9SRichard Henderson     default:
797c25c283dSDavid Hildenbrand         g_assert_not_reached();
798c25c283dSDavid Hildenbrand     }
79972d2bbf9SRichard Henderson 
800c25c283dSDavid Hildenbrand     if (guest_addr_valid_untagged(addr)) {
801c25c283dSDavid Hildenbrand         int page_flags = page_get_flags(addr);
802c25c283dSDavid Hildenbrand         if (page_flags & acc_flag) {
803c25c283dSDavid Hildenbrand             if (access_type != MMU_INST_FETCH
804c25c283dSDavid Hildenbrand                 && cpu_plugin_mem_cbs_enabled(env_cpu(env))) {
80572d2bbf9SRichard Henderson                 return TLB_MMIO;
80672d2bbf9SRichard Henderson             }
80772d2bbf9SRichard Henderson             return 0; /* success */
808*6e813172SRichard Henderson         }
8096d03226bSAlex Bennée         maperr = !(page_flags & PAGE_VALID);
8106d03226bSAlex Bennée     } else {
8116d03226bSAlex Bennée         maperr = true;
81272d2bbf9SRichard Henderson     }
81372d2bbf9SRichard Henderson 
81472d2bbf9SRichard Henderson     if (nonfault) {
81572d2bbf9SRichard Henderson         return TLB_INVALID_MASK;
81672d2bbf9SRichard Henderson     }
81772d2bbf9SRichard Henderson 
81872d2bbf9SRichard Henderson     cpu_loop_exit_sigsegv(env_cpu(env), addr, access_type, maperr, ra);
819069cfe77SRichard Henderson }
820069cfe77SRichard Henderson 
probe_access_flags(CPUArchState * env,vaddr addr,int size,MMUAccessType access_type,int mmu_idx,bool nonfault,void ** phost,uintptr_t ra)82159e96ac6SDavid Hildenbrand int probe_access_flags(CPUArchState *env, vaddr addr, int size,
82272d2bbf9SRichard Henderson                        MMUAccessType access_type, int mmu_idx,
82372d2bbf9SRichard Henderson                        bool nonfault, void **phost, uintptr_t ra)
824069cfe77SRichard Henderson {
825069cfe77SRichard Henderson     int flags;
8264f8f4127SAnton Johansson 
827069cfe77SRichard Henderson     g_assert(-(addr | TARGET_PAGE_MASK) >= size);
828069cfe77SRichard Henderson     flags = probe_access_internal(env, addr, size, access_type, nonfault, ra);
829069cfe77SRichard Henderson     *phost = (flags & TLB_INVALID_MASK) ? NULL : g2h(env_cpu(env), addr);
830069cfe77SRichard Henderson     return flags;
831069cfe77SRichard Henderson }
8321770b2f2SDaniel Henrique Barboza 
probe_access(CPUArchState * env,vaddr addr,int size,MMUAccessType access_type,int mmu_idx,uintptr_t ra)8331770b2f2SDaniel Henrique Barboza void *probe_access(CPUArchState *env, vaddr addr, int size,
8346d03226bSAlex Bennée                    MMUAccessType access_type, int mmu_idx, uintptr_t ra)
835069cfe77SRichard Henderson {
836069cfe77SRichard Henderson     int flags;
837069cfe77SRichard Henderson 
8384f8f4127SAnton Johansson     g_assert(-(addr | TARGET_PAGE_MASK) >= size);
839069cfe77SRichard Henderson     flags = probe_access_internal(env, addr, size, access_type, false, ra);
840069cfe77SRichard Henderson     g_assert((flags & ~TLB_MMIO) == 0);
841069cfe77SRichard Henderson 
842069cfe77SRichard Henderson     return size ? g2h(env_cpu(env), addr) : NULL;
843069cfe77SRichard Henderson }
844069cfe77SRichard Henderson 
get_page_addr_code_hostp(CPUArchState * env,vaddr addr,void ** hostp)8456d03226bSAlex Bennée tb_page_addr_t get_page_addr_code_hostp(CPUArchState *env, vaddr addr,
846fef39ccdSDavid Hildenbrand                                         void **hostp)
8473e8f1628SRichard Henderson {
84859e96ac6SDavid Hildenbrand     int flags;
84959e96ac6SDavid Hildenbrand 
8504f8f4127SAnton Johansson     flags = probe_access_internal(env, addr, 1, MMU_INST_FETCH, false, 0);
851cdf71308SRichard Henderson     g_assert(flags == 0);
852cdf71308SRichard Henderson 
853cdf71308SRichard Henderson     if (hostp) {
854cdf71308SRichard Henderson         *hostp = g2h_untagged(addr);
855cdf71308SRichard Henderson     }
856cdf71308SRichard Henderson     return addr;
857cdf71308SRichard Henderson }
858cdf71308SRichard Henderson 
859cdf71308SRichard Henderson #ifdef TARGET_PAGE_DATA_SIZE
860cdf71308SRichard Henderson /*
861cdf71308SRichard Henderson  * Allocate chunks of target data together.  For the only current user,
862cdf71308SRichard Henderson  * if we allocate one hunk per page, we have overhead of 40/128 or 40%.
863cdf71308SRichard Henderson  * Therefore, allocate memory for 64 pages at a time for overhead < 1%.
864f88f3ac9SRichard Henderson  */
865f88f3ac9SRichard Henderson #define TPD_PAGES  64
866f88f3ac9SRichard Henderson #define TBD_MASK   (TARGET_PAGE_MASK * TPD_PAGES)
867f88f3ac9SRichard Henderson 
868f88f3ac9SRichard Henderson typedef struct TargetPageDataNode {
869f88f3ac9SRichard Henderson     struct rcu_head rcu;
870f88f3ac9SRichard Henderson     IntervalTreeNode itree;
871f88f3ac9SRichard Henderson     char data[] __attribute__((aligned));
872f88f3ac9SRichard Henderson } TargetPageDataNode;
873f88f3ac9SRichard Henderson 
874177a8cb8SRichard Henderson static IntervalTreeRoot targetdata_root;
875f88f3ac9SRichard Henderson 
page_reset_target_data(target_ulong start,target_ulong last)87633402ceaSRichard Henderson void page_reset_target_data(target_ulong start, target_ulong last)
877f88f3ac9SRichard Henderson {
878f88f3ac9SRichard Henderson     IntervalTreeNode *n, *next;
879f88f3ac9SRichard Henderson 
880f88f3ac9SRichard Henderson     assert_memory_lock();
88110310cbdSRichard Henderson 
8820fe61084SRichard Henderson     start &= TARGET_PAGE_MASK;
883f88f3ac9SRichard Henderson     last |= ~TARGET_PAGE_MASK;
8840fe61084SRichard Henderson 
8850fe61084SRichard Henderson     for (n = interval_tree_iter_first(&targetdata_root, start, last),
8860fe61084SRichard Henderson          next = n ? interval_tree_iter_next(n, start, last) : NULL;
88710310cbdSRichard Henderson          n != NULL;
88810310cbdSRichard Henderson          n = next,
8890fe61084SRichard Henderson          next = next ? interval_tree_iter_next(n, start, last) : NULL) {
890f88f3ac9SRichard Henderson         target_ulong n_start, n_last, p_ofs, p_len;
891f88f3ac9SRichard Henderson         TargetPageDataNode *t = container_of(n, TargetPageDataNode, itree);
892f88f3ac9SRichard Henderson 
893f88f3ac9SRichard Henderson         if (n->start >= start && n->last <= last) {
894f88f3ac9SRichard Henderson             interval_tree_remove(n, &targetdata_root);
895f88f3ac9SRichard Henderson             g_free_rcu(t, rcu);
896177a8cb8SRichard Henderson             continue;
8970fe61084SRichard Henderson         }
898f88f3ac9SRichard Henderson 
899f88f3ac9SRichard Henderson         if (n->start < start) {
900177a8cb8SRichard Henderson             n_start = start;
901f88f3ac9SRichard Henderson             p_ofs = (start - n->start) >> TARGET_PAGE_BITS;
9020fe61084SRichard Henderson         } else {
9030fe61084SRichard Henderson             n_start = n->start;
904f88f3ac9SRichard Henderson             p_ofs = 0;
905f88f3ac9SRichard Henderson         }
906f88f3ac9SRichard Henderson         n_last = MIN(last, n->last);
907f88f3ac9SRichard Henderson         p_len = (n_last + 1 - n_start) >> TARGET_PAGE_BITS;
908f88f3ac9SRichard Henderson 
909f88f3ac9SRichard Henderson         memset(t->data + p_ofs * TARGET_PAGE_DATA_SIZE, 0,
910f88f3ac9SRichard Henderson                p_len * TARGET_PAGE_DATA_SIZE);
911f88f3ac9SRichard Henderson     }
912f88f3ac9SRichard Henderson }
913f88f3ac9SRichard Henderson 
page_get_target_data(target_ulong address)91433402ceaSRichard Henderson void *page_get_target_data(target_ulong address)
91533402ceaSRichard Henderson {
916f88f3ac9SRichard Henderson     IntervalTreeNode *n;
917f88f3ac9SRichard Henderson     TargetPageDataNode *t;
918f88f3ac9SRichard Henderson     target_ulong page, region, p_ofs;
9190fe61084SRichard Henderson 
9200fe61084SRichard Henderson     page = address & TARGET_PAGE_MASK;
921f88f3ac9SRichard Henderson     region = address & TBD_MASK;
922f88f3ac9SRichard Henderson 
92333402ceaSRichard Henderson     n = interval_tree_iter_first(&targetdata_root, page, page);
9240fe61084SRichard Henderson     if (!n) {
925f88f3ac9SRichard Henderson         /*
926f88f3ac9SRichard Henderson          * See util/interval-tree.c re lockless lookups: no false positives
927f88f3ac9SRichard Henderson          * but there are false negatives.  If we find nothing, retry with
928f88f3ac9SRichard Henderson          * the mmap lock acquired.  We also need the lock for the
929f88f3ac9SRichard Henderson          * allocation + insert.
930f88f3ac9SRichard Henderson          */
931f88f3ac9SRichard Henderson         mmap_lock();
932f88f3ac9SRichard Henderson         n = interval_tree_iter_first(&targetdata_root, page, page);
933f88f3ac9SRichard Henderson         if (!n) {
934f88f3ac9SRichard Henderson             t = g_malloc0(sizeof(TargetPageDataNode)
935f88f3ac9SRichard Henderson                           + TPD_PAGES * TARGET_PAGE_DATA_SIZE);
936f88f3ac9SRichard Henderson             n = &t->itree;
937f88f3ac9SRichard Henderson             n->start = region;
938f88f3ac9SRichard Henderson             n->last = region | ~TBD_MASK;
93933402ceaSRichard Henderson             interval_tree_insert(n, &targetdata_root);
94033402ceaSRichard Henderson         }
941f88f3ac9SRichard Henderson         mmap_unlock();
942f88f3ac9SRichard Henderson     }
943f88f3ac9SRichard Henderson 
944f88f3ac9SRichard Henderson     t = container_of(n, TargetPageDataNode, itree);
9450fe61084SRichard Henderson     p_ofs = (page - region) >> TARGET_PAGE_BITS;
946f88f3ac9SRichard Henderson     return t->data + p_ofs * TARGET_PAGE_DATA_SIZE;
9470fe61084SRichard Henderson }
948f88f3ac9SRichard Henderson #else
page_reset_target_data(target_ulong start,target_ulong last)949f88f3ac9SRichard Henderson void page_reset_target_data(target_ulong start, target_ulong last) { }
95033402ceaSRichard Henderson #endif /* TARGET_PAGE_DATA_SIZE */
95133402ceaSRichard Henderson 
952f88f3ac9SRichard Henderson /* The system-mode versions of these helpers are in cputlb.c.  */
953f88f3ac9SRichard Henderson 
cpu_mmu_lookup(CPUState * cpu,vaddr addr,MemOp mop,uintptr_t ra,MMUAccessType type)95410310cbdSRichard Henderson static void *cpu_mmu_lookup(CPUState *cpu, vaddr addr,
955f88f3ac9SRichard Henderson                             MemOp mop, uintptr_t ra, MMUAccessType type)
9560fe61084SRichard Henderson {
9577893e42dSPhilippe Mathieu-Daudé     int a_bits = memop_alignment_bits(mop);
958a411d296SPhilippe Mathieu-Daudé     void *ret;
959e20f73fbSAnton Johansson 
960de95016dSRichard Henderson     /* Enforce guest required alignment.  */
961f83bcecbSRichard Henderson     if (unlikely(addr & ((1 << a_bits) - 1))) {
9629395cd0aSRichard Henderson         cpu_loop_exit_sigbus(cpu, addr, type, ra);
963f83bcecbSRichard Henderson     }
964f83bcecbSRichard Henderson 
9659395cd0aSRichard Henderson     ret = g2h(cpu, addr);
9669395cd0aSRichard Henderson     set_helper_retaddr(ra);
967e20f73fbSAnton Johansson     return ret;
9689395cd0aSRichard Henderson }
969f83bcecbSRichard Henderson 
970e20f73fbSAnton Johansson #include "ldst_atomicity.c.inc"
971f83bcecbSRichard Henderson 
do_ld1_mmu(CPUState * cpu,vaddr addr,MemOpIdx oi,uintptr_t ra,MMUAccessType access_type)972ed4cfbcdSRichard Henderson static uint8_t do_ld1_mmu(CPUState *cpu, vaddr addr, MemOpIdx oi,
973ed4cfbcdSRichard Henderson                           uintptr_t ra, MMUAccessType access_type)
974ed4cfbcdSRichard Henderson {
975cdfac37bSRichard Henderson     void *haddr;
976cdfac37bSRichard Henderson     uint8_t ret;
977e20f73fbSAnton Johansson 
978e20f73fbSAnton Johansson     cpu_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
979ed4cfbcdSRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, get_memop(oi), ra, access_type);
980f83bcecbSRichard Henderson     ret = ldub_p(haddr);
981f83bcecbSRichard Henderson     clear_helper_retaddr();
982ed4cfbcdSRichard Henderson     return ret;
983f86e8f3dSRichard Henderson }
984e20f73fbSAnton Johansson 
do_ld2_mmu(CPUState * cpu,vaddr addr,MemOpIdx oi,uintptr_t ra,MMUAccessType access_type)985f83bcecbSRichard Henderson static uint16_t do_ld2_mmu(CPUState *cpu, vaddr addr, MemOpIdx oi,
986f83bcecbSRichard Henderson                            uintptr_t ra, MMUAccessType access_type)
987de95016dSRichard Henderson {
988de95016dSRichard Henderson     void *haddr;
989de95016dSRichard Henderson     uint16_t ret;
990e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
991e20f73fbSAnton Johansson 
992de95016dSRichard Henderson     cpu_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
993de95016dSRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, access_type);
994de95016dSRichard Henderson     ret = load_atom_2(cpu, ra, haddr, mop);
995e20f73fbSAnton Johansson     clear_helper_retaddr();
996de95016dSRichard Henderson 
997f86e8f3dSRichard Henderson     if (mop & MO_BSWAP) {
998e20f73fbSAnton Johansson         ret = bswap16(ret);
999e20f73fbSAnton Johansson     }
1000de95016dSRichard Henderson     return ret;
1001fbea7a40SRichard Henderson }
1002fbea7a40SRichard Henderson 
do_ld4_mmu(CPUState * cpu,vaddr addr,MemOpIdx oi,uintptr_t ra,MMUAccessType access_type)1003fbea7a40SRichard Henderson static uint32_t do_ld4_mmu(CPUState *cpu, vaddr addr, MemOpIdx oi,
1004fbea7a40SRichard Henderson                            uintptr_t ra, MMUAccessType access_type)
1005de95016dSRichard Henderson {
1006de95016dSRichard Henderson     void *haddr;
1007de95016dSRichard Henderson     uint32_t ret;
1008e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1009e20f73fbSAnton Johansson 
1010de95016dSRichard Henderson     cpu_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
1011de95016dSRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, access_type);
1012de95016dSRichard Henderson     ret = load_atom_4(cpu, ra, haddr, mop);
1013e20f73fbSAnton Johansson     clear_helper_retaddr();
1014de95016dSRichard Henderson 
1015f86e8f3dSRichard Henderson     if (mop & MO_BSWAP) {
1016e20f73fbSAnton Johansson         ret = bswap32(ret);
1017e20f73fbSAnton Johansson     }
1018de95016dSRichard Henderson     return ret;
1019fbea7a40SRichard Henderson }
1020fbea7a40SRichard Henderson 
do_ld8_mmu(CPUState * cpu,vaddr addr,MemOpIdx oi,uintptr_t ra,MMUAccessType access_type)1021fbea7a40SRichard Henderson static uint64_t do_ld8_mmu(CPUState *cpu, vaddr addr, MemOpIdx oi,
1022fbea7a40SRichard Henderson                            uintptr_t ra, MMUAccessType access_type)
1023de95016dSRichard Henderson {
1024de95016dSRichard Henderson     void *haddr;
1025de95016dSRichard Henderson     uint64_t ret;
1026e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1027e20f73fbSAnton Johansson 
1028de95016dSRichard Henderson     cpu_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
1029de95016dSRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, access_type);
1030de95016dSRichard Henderson     ret = load_atom_8(cpu, ra, haddr, mop);
1031e20f73fbSAnton Johansson     clear_helper_retaddr();
1032de95016dSRichard Henderson 
1033f86e8f3dSRichard Henderson     if (mop & MO_BSWAP) {
1034e20f73fbSAnton Johansson         ret = bswap64(ret);
1035e20f73fbSAnton Johansson     }
1036de95016dSRichard Henderson     return ret;
1037de95016dSRichard Henderson }
1038de95016dSRichard Henderson 
do_ld16_mmu(CPUState * cpu,abi_ptr addr,MemOpIdx oi,uintptr_t ra)1039de95016dSRichard Henderson static Int128 do_ld16_mmu(CPUState *cpu, abi_ptr addr,
1040de95016dSRichard Henderson                           MemOpIdx oi, uintptr_t ra)
1041de95016dSRichard Henderson {
1042de95016dSRichard Henderson     void *haddr;
1043de95016dSRichard Henderson     Int128 ret;
1044e20f73fbSAnton Johansson     MemOp mop = get_memop(oi);
1045e20f73fbSAnton Johansson 
1046cb48f365SRichard Henderson     tcg_debug_assert((mop & MO_SIZE) == MO_128);
1047cb48f365SRichard Henderson     cpu_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
1048cb48f365SRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_LOAD);
1049e20f73fbSAnton Johansson     ret = load_atom_16(cpu, ra, haddr, mop);
1050cb48f365SRichard Henderson     clear_helper_retaddr();
105135c653c4SRichard Henderson 
1052f86e8f3dSRichard Henderson     if (mop & MO_BSWAP) {
1053e20f73fbSAnton Johansson         ret = bswap128(ret);
1054e20f73fbSAnton Johansson     }
1055cb48f365SRichard Henderson     return ret;
105635c653c4SRichard Henderson }
105735c653c4SRichard Henderson 
do_st1_mmu(CPUState * cpu,vaddr addr,uint8_t val,MemOpIdx oi,uintptr_t ra)105835c653c4SRichard Henderson static void do_st1_mmu(CPUState *cpu, vaddr addr, uint8_t val,
105935c653c4SRichard Henderson                        MemOpIdx oi, uintptr_t ra)
106035c653c4SRichard Henderson {
106135c653c4SRichard Henderson     void *haddr;
106235c653c4SRichard Henderson 
1063e20f73fbSAnton Johansson     cpu_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
1064e20f73fbSAnton Johansson     haddr = cpu_mmu_lookup(cpu, addr, get_memop(oi), ra, MMU_DATA_STORE);
1065ed4cfbcdSRichard Henderson     stb_p(haddr, val);
1066f83bcecbSRichard Henderson     clear_helper_retaddr();
1067ed4cfbcdSRichard Henderson }
1068f86e8f3dSRichard Henderson 
do_st2_mmu(CPUState * cpu,vaddr addr,uint16_t val,MemOpIdx oi,uintptr_t ra)1069e20f73fbSAnton Johansson static void do_st2_mmu(CPUState *cpu, vaddr addr, uint16_t val,
1070f83bcecbSRichard Henderson                        MemOpIdx oi, uintptr_t ra)
1071ed4cfbcdSRichard Henderson {
1072de95016dSRichard Henderson     void *haddr;
1073de95016dSRichard Henderson     MemOp mop = get_memop(oi);
1074e20f73fbSAnton Johansson 
1075e20f73fbSAnton Johansson     cpu_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
1076de95016dSRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_STORE);
1077de95016dSRichard Henderson 
1078e20f73fbSAnton Johansson     if (mop & MO_BSWAP) {
1079de95016dSRichard Henderson         val = bswap16(val);
1080f86e8f3dSRichard Henderson     }
1081e20f73fbSAnton Johansson     store_atom_2(cpu, ra, haddr, mop, val);
1082fbea7a40SRichard Henderson     clear_helper_retaddr();
1083fbea7a40SRichard Henderson }
1084fbea7a40SRichard Henderson 
do_st4_mmu(CPUState * cpu,vaddr addr,uint32_t val,MemOpIdx oi,uintptr_t ra)1085fbea7a40SRichard Henderson static void do_st4_mmu(CPUState *cpu, vaddr addr, uint32_t val,
1086e20f73fbSAnton Johansson                        MemOpIdx oi, uintptr_t ra)
1087de95016dSRichard Henderson {
1088de95016dSRichard Henderson     void *haddr;
1089de95016dSRichard Henderson     MemOp mop = get_memop(oi);
1090e20f73fbSAnton Johansson 
1091e20f73fbSAnton Johansson     cpu_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
1092de95016dSRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_STORE);
1093f83bcecbSRichard Henderson 
1094e20f73fbSAnton Johansson     if (mop & MO_BSWAP) {
1095b9e60257SRichard Henderson         val = bswap32(val);
1096f86e8f3dSRichard Henderson     }
1097e20f73fbSAnton Johansson     store_atom_4(cpu, ra, haddr, mop, val);
1098fbea7a40SRichard Henderson     clear_helper_retaddr();
1099fbea7a40SRichard Henderson }
1100fbea7a40SRichard Henderson 
do_st8_mmu(CPUState * cpu,vaddr addr,uint64_t val,MemOpIdx oi,uintptr_t ra)1101fbea7a40SRichard Henderson static void do_st8_mmu(CPUState *cpu, vaddr addr, uint64_t val,
1102e20f73fbSAnton Johansson                        MemOpIdx oi, uintptr_t ra)
1103b9e60257SRichard Henderson {
1104de95016dSRichard Henderson     void *haddr;
1105de95016dSRichard Henderson     MemOp mop = get_memop(oi);
1106e20f73fbSAnton Johansson 
1107e20f73fbSAnton Johansson     cpu_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
1108de95016dSRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_STORE);
1109f83bcecbSRichard Henderson 
1110e20f73fbSAnton Johansson     if (mop & MO_BSWAP) {
1111b9e60257SRichard Henderson         val = bswap64(val);
1112f86e8f3dSRichard Henderson     }
1113e20f73fbSAnton Johansson     store_atom_8(cpu, ra, haddr, mop, val);
1114fbea7a40SRichard Henderson     clear_helper_retaddr();
1115fbea7a40SRichard Henderson }
1116fbea7a40SRichard Henderson 
do_st16_mmu(CPUState * cpu,vaddr addr,Int128 val,MemOpIdx oi,uintptr_t ra)1117fbea7a40SRichard Henderson static void do_st16_mmu(CPUState *cpu, vaddr addr, Int128 val,
1118e20f73fbSAnton Johansson                         MemOpIdx oi, uintptr_t ra)
1119b9e60257SRichard Henderson {
1120de95016dSRichard Henderson     void *haddr;
1121de95016dSRichard Henderson     MemOpIdx mop = get_memop(oi);
1122e20f73fbSAnton Johansson 
1123e20f73fbSAnton Johansson     cpu_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
1124cb48f365SRichard Henderson     haddr = cpu_mmu_lookup(cpu, addr, mop, ra, MMU_DATA_STORE);
1125cb48f365SRichard Henderson 
1126e20f73fbSAnton Johansson     if (mop & MO_BSWAP) {
1127cb48f365SRichard Henderson         val = bswap128(val);
1128f86e8f3dSRichard Henderson     }
1129e20f73fbSAnton Johansson     store_atom_16(cpu, ra, haddr, mop, val);
1130fbea7a40SRichard Henderson     clear_helper_retaddr();
1131fbea7a40SRichard Henderson }
1132fbea7a40SRichard Henderson 
cpu_ldub_code(CPUArchState * env,abi_ptr ptr)1133fbea7a40SRichard Henderson uint32_t cpu_ldub_code(CPUArchState *env, abi_ptr ptr)
1134e20f73fbSAnton Johansson {
113535c653c4SRichard Henderson     uint32_t ret;
113635c653c4SRichard Henderson 
113735c653c4SRichard Henderson     set_helper_retaddr(1);
1138ed4cfbcdSRichard Henderson     ret = ldub_p(g2h_untagged(ptr));
1139ed4cfbcdSRichard Henderson     clear_helper_retaddr();
1140ed4cfbcdSRichard Henderson     return ret;
1141ed4cfbcdSRichard Henderson }
1142ed4cfbcdSRichard Henderson 
cpu_lduw_code(CPUArchState * env,abi_ptr ptr)11433e8f1628SRichard Henderson uint32_t cpu_lduw_code(CPUArchState *env, abi_ptr ptr)
1144ed4cfbcdSRichard Henderson {
1145ed4cfbcdSRichard Henderson     uint32_t ret;
1146ed4cfbcdSRichard Henderson 
1147ed4cfbcdSRichard Henderson     set_helper_retaddr(1);
1148ed4cfbcdSRichard Henderson     ret = lduw_p(g2h_untagged(ptr));
1149ed4cfbcdSRichard Henderson     clear_helper_retaddr();
1150ed4cfbcdSRichard Henderson     return ret;
1151ed4cfbcdSRichard Henderson }
1152ed4cfbcdSRichard Henderson 
cpu_ldl_code(CPUArchState * env,abi_ptr ptr)11533e8f1628SRichard Henderson uint32_t cpu_ldl_code(CPUArchState *env, abi_ptr ptr)
1154ed4cfbcdSRichard Henderson {
1155ed4cfbcdSRichard Henderson     uint32_t ret;
1156ed4cfbcdSRichard Henderson 
1157ed4cfbcdSRichard Henderson     set_helper_retaddr(1);
1158ed4cfbcdSRichard Henderson     ret = ldl_p(g2h_untagged(ptr));
1159ed4cfbcdSRichard Henderson     clear_helper_retaddr();
1160ed4cfbcdSRichard Henderson     return ret;
1161ed4cfbcdSRichard Henderson }
1162ed4cfbcdSRichard Henderson 
cpu_ldq_code(CPUArchState * env,abi_ptr ptr)11633e8f1628SRichard Henderson uint64_t cpu_ldq_code(CPUArchState *env, abi_ptr ptr)
1164ed4cfbcdSRichard Henderson {
1165ed4cfbcdSRichard Henderson     uint64_t ret;
1166ed4cfbcdSRichard Henderson 
1167ed4cfbcdSRichard Henderson     set_helper_retaddr(1);
1168ed4cfbcdSRichard Henderson     ret = ldq_p(g2h_untagged(ptr));
1169ed4cfbcdSRichard Henderson     clear_helper_retaddr();
1170ed4cfbcdSRichard Henderson     return ret;
1171ed4cfbcdSRichard Henderson }
1172ed4cfbcdSRichard Henderson 
cpu_ldb_code_mmu(CPUArchState * env,abi_ptr addr,MemOpIdx oi,uintptr_t ra)11733e8f1628SRichard Henderson uint8_t cpu_ldb_code_mmu(CPUArchState *env, abi_ptr addr,
1174ed4cfbcdSRichard Henderson                          MemOpIdx oi, uintptr_t ra)
1175ed4cfbcdSRichard Henderson {
1176ed4cfbcdSRichard Henderson     void *haddr;
1177ed4cfbcdSRichard Henderson     uint8_t ret;
117828990626SRichard Henderson 
117928990626SRichard Henderson     haddr = cpu_mmu_lookup(env_cpu(env), addr, oi, ra, MMU_INST_FETCH);
118028990626SRichard Henderson     ret = ldub_p(haddr);
118128990626SRichard Henderson     clear_helper_retaddr();
118228990626SRichard Henderson     return ret;
118328990626SRichard Henderson }
1184e20f73fbSAnton Johansson 
cpu_ldw_code_mmu(CPUArchState * env,abi_ptr addr,MemOpIdx oi,uintptr_t ra)118528990626SRichard Henderson uint16_t cpu_ldw_code_mmu(CPUArchState *env, abi_ptr addr,
118628990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra)
118728990626SRichard Henderson {
118828990626SRichard Henderson     void *haddr;
118928990626SRichard Henderson     uint16_t ret;
119028990626SRichard Henderson 
119128990626SRichard Henderson     haddr = cpu_mmu_lookup(env_cpu(env), addr, oi, ra, MMU_INST_FETCH);
119228990626SRichard Henderson     ret = lduw_p(haddr);
119328990626SRichard Henderson     clear_helper_retaddr();
119428990626SRichard Henderson     if (get_memop(oi) & MO_BSWAP) {
119528990626SRichard Henderson         ret = bswap16(ret);
1196e20f73fbSAnton Johansson     }
119728990626SRichard Henderson     return ret;
119828990626SRichard Henderson }
119928990626SRichard Henderson 
cpu_ldl_code_mmu(CPUArchState * env,abi_ptr addr,MemOpIdx oi,uintptr_t ra)120028990626SRichard Henderson uint32_t cpu_ldl_code_mmu(CPUArchState *env, abi_ptr addr,
120128990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra)
120228990626SRichard Henderson {
120328990626SRichard Henderson     void *haddr;
120428990626SRichard Henderson     uint32_t ret;
120528990626SRichard Henderson 
120628990626SRichard Henderson     haddr = cpu_mmu_lookup(env_cpu(env), addr, oi, ra, MMU_INST_FETCH);
120728990626SRichard Henderson     ret = ldl_p(haddr);
120828990626SRichard Henderson     clear_helper_retaddr();
120928990626SRichard Henderson     if (get_memop(oi) & MO_BSWAP) {
121028990626SRichard Henderson         ret = bswap32(ret);
1211e20f73fbSAnton Johansson     }
121228990626SRichard Henderson     return ret;
121328990626SRichard Henderson }
121428990626SRichard Henderson 
cpu_ldq_code_mmu(CPUArchState * env,abi_ptr addr,MemOpIdx oi,uintptr_t ra)121528990626SRichard Henderson uint64_t cpu_ldq_code_mmu(CPUArchState *env, abi_ptr addr,
121628990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra)
121728990626SRichard Henderson {
121828990626SRichard Henderson     void *haddr;
121928990626SRichard Henderson     uint64_t ret;
122028990626SRichard Henderson 
122128990626SRichard Henderson     haddr = cpu_mmu_lookup(env_cpu(env), addr, oi, ra, MMU_DATA_LOAD);
122228990626SRichard Henderson     ret = ldq_p(haddr);
122328990626SRichard Henderson     clear_helper_retaddr();
122428990626SRichard Henderson     if (get_memop(oi) & MO_BSWAP) {
122528990626SRichard Henderson         ret = bswap64(ret);
1226e20f73fbSAnton Johansson     }
122728990626SRichard Henderson     return ret;
122828990626SRichard Henderson }
122928990626SRichard Henderson 
123028990626SRichard Henderson #include "ldst_common.c.inc"
123128990626SRichard Henderson 
123228990626SRichard Henderson /*
123328990626SRichard Henderson  * Do not allow unaligned operations to proceed.  Return the host address.
123428990626SRichard Henderson  */
atomic_mmu_lookup(CPUState * cpu,vaddr addr,MemOpIdx oi,int size,uintptr_t retaddr)1235f83bcecbSRichard Henderson static void *atomic_mmu_lookup(CPUState *cpu, vaddr addr, MemOpIdx oi,
1236f83bcecbSRichard Henderson                                int size, uintptr_t retaddr)
1237a754f7f3SRichard Henderson {
1238a754f7f3SRichard Henderson     MemOp mop = get_memop(oi);
1239a754f7f3SRichard Henderson     int a_bits = memop_alignment_bits(mop);
1240d560225fSAnton Johansson     void *ret;
1241b0326eb9SAnton Johansson 
1242a411d296SPhilippe Mathieu-Daudé     /* Enforce guest required alignment.  */
1243fce3f474SRichard Henderson     if (unlikely(addr & ((1 << a_bits) - 1))) {
1244fce3f474SRichard Henderson         cpu_loop_exit_sigbus(cpu, addr, MMU_DATA_STORE, retaddr);
1245fce3f474SRichard Henderson     }
1246fce3f474SRichard Henderson 
1247fce3f474SRichard Henderson     /* Enforce qemu required alignment.  */
1248fce3f474SRichard Henderson     if (unlikely(addr & (size - 1))) {
1249d560225fSAnton Johansson         cpu_loop_exit_atomic(cpu, retaddr);
1250fce3f474SRichard Henderson     }
1251fce3f474SRichard Henderson 
1252a411d296SPhilippe Mathieu-Daudé     ret = g2h(cpu, addr);
1253a411d296SPhilippe Mathieu-Daudé     set_helper_retaddr(retaddr);
1254d560225fSAnton Johansson     return ret;
1255a411d296SPhilippe Mathieu-Daudé }
1256fce3f474SRichard Henderson 
1257d560225fSAnton Johansson #include "atomic_common.c.inc"
125808b97f7fSRichard Henderson 
125908b97f7fSRichard Henderson /*
1260a411d296SPhilippe Mathieu-Daudé  * First set of functions passes in OI and RETADDR.
1261a411d296SPhilippe Mathieu-Daudé  * This makes them callable from other helpers.
1262be9568b4SRichard Henderson  */
1263be9568b4SRichard Henderson 
1264be9568b4SRichard Henderson #define ATOMIC_NAME(X) \
1265be9568b4SRichard Henderson     glue(glue(glue(cpu_atomic_ ## X, SUFFIX), END), _mmu)
1266be9568b4SRichard Henderson #define ATOMIC_MMU_CLEANUP do { clear_helper_retaddr(); } while (0)
1267be9568b4SRichard Henderson 
1268be9568b4SRichard Henderson #define DATA_SIZE 1
1269be9568b4SRichard Henderson #include "atomic_template.h"
1270be9568b4SRichard Henderson 
127108b97f7fSRichard Henderson #define DATA_SIZE 2
1272a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
1273a411d296SPhilippe Mathieu-Daudé 
1274a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 4
1275a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
1276a411d296SPhilippe Mathieu-Daudé 
1277a411d296SPhilippe Mathieu-Daudé #ifdef CONFIG_ATOMIC64
1278a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 8
1279a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
1280a411d296SPhilippe Mathieu-Daudé #endif
1281a411d296SPhilippe Mathieu-Daudé 
1282a411d296SPhilippe Mathieu-Daudé #if defined(CONFIG_ATOMIC128) || HAVE_CMPXCHG128
1283a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 16
1284a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
1285a411d296SPhilippe Mathieu-Daudé #endif
1286a411d296SPhilippe Mathieu-Daudé