1fe1a3aceSPhilippe Mathieu-Daudé /* 2fe1a3aceSPhilippe Mathieu-Daudé * Probe guest virtual addresses for access permissions. 3fe1a3aceSPhilippe Mathieu-Daudé * 4fe1a3aceSPhilippe Mathieu-Daudé * Copyright (c) 2003 Fabrice Bellard 5fe1a3aceSPhilippe Mathieu-Daudé * SPDX-License-Identifier: LGPL-2.1-or-later 6fe1a3aceSPhilippe Mathieu-Daudé */ 7fe1a3aceSPhilippe Mathieu-Daudé #ifndef ACCEL_TCG_PROBE_H 8fe1a3aceSPhilippe Mathieu-Daudé #define ACCEL_TCG_PROBE_H 9fe1a3aceSPhilippe Mathieu-Daudé 10fe1a3aceSPhilippe Mathieu-Daudé #include "exec/mmu-access-type.h" 11fe1a3aceSPhilippe Mathieu-Daudé #include "exec/vaddr.h" 12fe1a3aceSPhilippe Mathieu-Daudé 13fe1a3aceSPhilippe Mathieu-Daudé /** 14fe1a3aceSPhilippe Mathieu-Daudé * probe_access: 15fe1a3aceSPhilippe Mathieu-Daudé * @env: CPUArchState 16fe1a3aceSPhilippe Mathieu-Daudé * @addr: guest virtual address to look up 17fe1a3aceSPhilippe Mathieu-Daudé * @size: size of the access 18fe1a3aceSPhilippe Mathieu-Daudé * @access_type: read, write or execute permission 19fe1a3aceSPhilippe Mathieu-Daudé * @mmu_idx: MMU index to use for lookup 20fe1a3aceSPhilippe Mathieu-Daudé * @retaddr: return address for unwinding 21fe1a3aceSPhilippe Mathieu-Daudé * 22fe1a3aceSPhilippe Mathieu-Daudé * Look up the guest virtual address @addr. Raise an exception if the 23fe1a3aceSPhilippe Mathieu-Daudé * page does not satisfy @access_type. Raise an exception if the 24fe1a3aceSPhilippe Mathieu-Daudé * access (@addr, @size) hits a watchpoint. For writes, mark a clean 25fe1a3aceSPhilippe Mathieu-Daudé * page as dirty. 26fe1a3aceSPhilippe Mathieu-Daudé * 27fe1a3aceSPhilippe Mathieu-Daudé * Finally, return the host address for a page that is backed by RAM, 28fe1a3aceSPhilippe Mathieu-Daudé * or NULL if the page requires I/O. 29fe1a3aceSPhilippe Mathieu-Daudé */ 30fe1a3aceSPhilippe Mathieu-Daudé void *probe_access(CPUArchState *env, vaddr addr, int size, 31fe1a3aceSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, uintptr_t retaddr); 32fe1a3aceSPhilippe Mathieu-Daudé 33fe1a3aceSPhilippe Mathieu-Daudé static inline void *probe_write(CPUArchState *env, vaddr addr, int size, 34fe1a3aceSPhilippe Mathieu-Daudé int mmu_idx, uintptr_t retaddr) 35fe1a3aceSPhilippe Mathieu-Daudé { 36fe1a3aceSPhilippe Mathieu-Daudé return probe_access(env, addr, size, MMU_DATA_STORE, mmu_idx, retaddr); 37fe1a3aceSPhilippe Mathieu-Daudé } 38fe1a3aceSPhilippe Mathieu-Daudé 39fe1a3aceSPhilippe Mathieu-Daudé static inline void *probe_read(CPUArchState *env, vaddr addr, int size, 40fe1a3aceSPhilippe Mathieu-Daudé int mmu_idx, uintptr_t retaddr) 41fe1a3aceSPhilippe Mathieu-Daudé { 42fe1a3aceSPhilippe Mathieu-Daudé return probe_access(env, addr, size, MMU_DATA_LOAD, mmu_idx, retaddr); 43fe1a3aceSPhilippe Mathieu-Daudé } 44fe1a3aceSPhilippe Mathieu-Daudé 45fe1a3aceSPhilippe Mathieu-Daudé /** 46fe1a3aceSPhilippe Mathieu-Daudé * probe_access_flags: 47fe1a3aceSPhilippe Mathieu-Daudé * @env: CPUArchState 48fe1a3aceSPhilippe Mathieu-Daudé * @addr: guest virtual address to look up 49fe1a3aceSPhilippe Mathieu-Daudé * @size: size of the access 50fe1a3aceSPhilippe Mathieu-Daudé * @access_type: read, write or execute permission 51fe1a3aceSPhilippe Mathieu-Daudé * @mmu_idx: MMU index to use for lookup 52fe1a3aceSPhilippe Mathieu-Daudé * @nonfault: suppress the fault 53fe1a3aceSPhilippe Mathieu-Daudé * @phost: return value for host address 54fe1a3aceSPhilippe Mathieu-Daudé * @retaddr: return address for unwinding 55fe1a3aceSPhilippe Mathieu-Daudé * 56fe1a3aceSPhilippe Mathieu-Daudé * Similar to probe_access, loosely returning the TLB_FLAGS_MASK for 57fe1a3aceSPhilippe Mathieu-Daudé * the page, and storing the host address for RAM in @phost. 58fe1a3aceSPhilippe Mathieu-Daudé * 59fe1a3aceSPhilippe Mathieu-Daudé * If @nonfault is set, do not raise an exception but return TLB_INVALID_MASK. 60fe1a3aceSPhilippe Mathieu-Daudé * Do not handle watchpoints, but include TLB_WATCHPOINT in the returned flags. 61fe1a3aceSPhilippe Mathieu-Daudé * Do handle clean pages, so exclude TLB_NOTDIRY from the returned flags. 62fe1a3aceSPhilippe Mathieu-Daudé * For simplicity, all "mmio-like" flags are folded to TLB_MMIO. 63fe1a3aceSPhilippe Mathieu-Daudé */ 64fe1a3aceSPhilippe Mathieu-Daudé int probe_access_flags(CPUArchState *env, vaddr addr, int size, 65fe1a3aceSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 66fe1a3aceSPhilippe Mathieu-Daudé bool nonfault, void **phost, uintptr_t retaddr); 67fe1a3aceSPhilippe Mathieu-Daudé 68fe1a3aceSPhilippe Mathieu-Daudé #ifndef CONFIG_USER_ONLY 69fe1a3aceSPhilippe Mathieu-Daudé 70fe1a3aceSPhilippe Mathieu-Daudé /** 71fe1a3aceSPhilippe Mathieu-Daudé * probe_access_full: 72fe1a3aceSPhilippe Mathieu-Daudé * Like probe_access_flags, except also return into @pfull. 73fe1a3aceSPhilippe Mathieu-Daudé * 74fe1a3aceSPhilippe Mathieu-Daudé * The CPUTLBEntryFull structure returned via @pfull is transient 75fe1a3aceSPhilippe Mathieu-Daudé * and must be consumed or copied immediately, before any further 76fe1a3aceSPhilippe Mathieu-Daudé * access or changes to TLB @mmu_idx. 77fe1a3aceSPhilippe Mathieu-Daudé * 78fe1a3aceSPhilippe Mathieu-Daudé * This function will not fault if @nonfault is set, but will 79fe1a3aceSPhilippe Mathieu-Daudé * return TLB_INVALID_MASK if the page is not mapped, or is not 80fe1a3aceSPhilippe Mathieu-Daudé * accessible with @access_type. 81fe1a3aceSPhilippe Mathieu-Daudé * 82fe1a3aceSPhilippe Mathieu-Daudé * This function will return TLB_MMIO in order to force the access 83fe1a3aceSPhilippe Mathieu-Daudé * to be handled out-of-line if plugins wish to instrument the access. 84fe1a3aceSPhilippe Mathieu-Daudé */ 85fe1a3aceSPhilippe Mathieu-Daudé int probe_access_full(CPUArchState *env, vaddr addr, int size, 86fe1a3aceSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 87fe1a3aceSPhilippe Mathieu-Daudé bool nonfault, void **phost, 88fe1a3aceSPhilippe Mathieu-Daudé CPUTLBEntryFull **pfull, uintptr_t retaddr); 89fe1a3aceSPhilippe Mathieu-Daudé 90fe1a3aceSPhilippe Mathieu-Daudé /** 91fe1a3aceSPhilippe Mathieu-Daudé * probe_access_full_mmu: 92fe1a3aceSPhilippe Mathieu-Daudé * Like probe_access_full, except: 93fe1a3aceSPhilippe Mathieu-Daudé * 94fe1a3aceSPhilippe Mathieu-Daudé * This function is intended to be used for page table accesses by 95fe1a3aceSPhilippe Mathieu-Daudé * the target mmu itself. Since such page walking happens while 96fe1a3aceSPhilippe Mathieu-Daudé * handling another potential mmu fault, this function never raises 97fe1a3aceSPhilippe Mathieu-Daudé * exceptions (akin to @nonfault true for probe_access_full). 98fe1a3aceSPhilippe Mathieu-Daudé * Likewise this function does not trigger plugin instrumentation. 99fe1a3aceSPhilippe Mathieu-Daudé */ 100fe1a3aceSPhilippe Mathieu-Daudé int probe_access_full_mmu(CPUArchState *env, vaddr addr, int size, 101fe1a3aceSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 102fe1a3aceSPhilippe Mathieu-Daudé void **phost, CPUTLBEntryFull **pfull); 103fe1a3aceSPhilippe Mathieu-Daudé 104fe1a3aceSPhilippe Mathieu-Daudé #endif /* !CONFIG_USER_ONLY */ 105fe1a3aceSPhilippe Mathieu-Daudé 106*a21959a8SRichard Henderson /** 107*a21959a8SRichard Henderson * tlb_vaddr_to_host: 108*a21959a8SRichard Henderson * @env: CPUArchState 109*a21959a8SRichard Henderson * @addr: guest virtual address to look up 110*a21959a8SRichard Henderson * @access_type: 0 for read, 1 for write, 2 for execute 111*a21959a8SRichard Henderson * @mmu_idx: MMU index to use for lookup 112*a21959a8SRichard Henderson * 113*a21959a8SRichard Henderson * Look up the specified guest virtual index in the TCG softmmu TLB. 114*a21959a8SRichard Henderson * If we can translate a host virtual address suitable for direct RAM 115*a21959a8SRichard Henderson * access, without causing a guest exception, then return it. 116*a21959a8SRichard Henderson * Otherwise (TLB entry is for an I/O access, guest software 117*a21959a8SRichard Henderson * TLB fill required, etc) return NULL. 118*a21959a8SRichard Henderson */ 119*a21959a8SRichard Henderson void *tlb_vaddr_to_host(CPUArchState *env, vaddr addr, 120*a21959a8SRichard Henderson MMUAccessType access_type, int mmu_idx); 121*a21959a8SRichard Henderson 122fe1a3aceSPhilippe Mathieu-Daudé #endif 123