105a24871SPaolo Bonzini /*
205a24871SPaolo Bonzini * host-signal.h: signal info dependent on the host architecture
305a24871SPaolo Bonzini *
405a24871SPaolo Bonzini * Copyright (c) 2003-2005 Fabrice Bellard
505a24871SPaolo Bonzini * Copyright (c) 2021 Linaro Limited
605a24871SPaolo Bonzini *
705a24871SPaolo Bonzini * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
805a24871SPaolo Bonzini * See the COPYING file in the top-level directory.
905a24871SPaolo Bonzini */
1005a24871SPaolo Bonzini
1105a24871SPaolo Bonzini #ifndef AARCH64_HOST_SIGNAL_H
1205a24871SPaolo Bonzini #define AARCH64_HOST_SIGNAL_H
1305a24871SPaolo Bonzini
14*9940799bSRichard Henderson /* The third argument to a SA_SIGINFO handler is ucontext_t. */
15*9940799bSRichard Henderson typedef ucontext_t host_sigcontext;
16*9940799bSRichard Henderson
1705a24871SPaolo Bonzini /* Pre-3.16 kernel headers don't have these, so provide fallback definitions */
1805a24871SPaolo Bonzini #ifndef ESR_MAGIC
1905a24871SPaolo Bonzini #define ESR_MAGIC 0x45535201
2005a24871SPaolo Bonzini struct esr_context {
2105a24871SPaolo Bonzini struct _aarch64_ctx head;
2205a24871SPaolo Bonzini uint64_t esr;
2305a24871SPaolo Bonzini };
2405a24871SPaolo Bonzini #endif
2505a24871SPaolo Bonzini
first_ctx(host_sigcontext * uc)26*9940799bSRichard Henderson static inline struct _aarch64_ctx *first_ctx(host_sigcontext *uc)
2705a24871SPaolo Bonzini {
2805a24871SPaolo Bonzini return (struct _aarch64_ctx *)&uc->uc_mcontext.__reserved;
2905a24871SPaolo Bonzini }
3005a24871SPaolo Bonzini
next_ctx(struct _aarch64_ctx * hdr)3105a24871SPaolo Bonzini static inline struct _aarch64_ctx *next_ctx(struct _aarch64_ctx *hdr)
3205a24871SPaolo Bonzini {
3305a24871SPaolo Bonzini return (struct _aarch64_ctx *)((char *)hdr + hdr->size);
3405a24871SPaolo Bonzini }
3505a24871SPaolo Bonzini
host_signal_pc(host_sigcontext * uc)36*9940799bSRichard Henderson static inline uintptr_t host_signal_pc(host_sigcontext *uc)
3705a24871SPaolo Bonzini {
3805a24871SPaolo Bonzini return uc->uc_mcontext.pc;
3905a24871SPaolo Bonzini }
4005a24871SPaolo Bonzini
host_signal_set_pc(host_sigcontext * uc,uintptr_t pc)41*9940799bSRichard Henderson static inline void host_signal_set_pc(host_sigcontext *uc, uintptr_t pc)
4205a24871SPaolo Bonzini {
4305a24871SPaolo Bonzini uc->uc_mcontext.pc = pc;
4405a24871SPaolo Bonzini }
4505a24871SPaolo Bonzini
host_signal_mask(host_sigcontext * uc)46*9940799bSRichard Henderson static inline void *host_signal_mask(host_sigcontext *uc)
47c8c89a6aSRichard Henderson {
48c8c89a6aSRichard Henderson return &uc->uc_sigmask;
49c8c89a6aSRichard Henderson }
50c8c89a6aSRichard Henderson
host_signal_write(siginfo_t * info,host_sigcontext * uc)51*9940799bSRichard Henderson static inline bool host_signal_write(siginfo_t *info, host_sigcontext *uc)
5205a24871SPaolo Bonzini {
5305a24871SPaolo Bonzini struct _aarch64_ctx *hdr;
5405a24871SPaolo Bonzini uint32_t insn;
5505a24871SPaolo Bonzini
5605a24871SPaolo Bonzini /* Find the esr_context, which has the WnR bit in it */
5705a24871SPaolo Bonzini for (hdr = first_ctx(uc); hdr->magic; hdr = next_ctx(hdr)) {
5805a24871SPaolo Bonzini if (hdr->magic == ESR_MAGIC) {
5905a24871SPaolo Bonzini struct esr_context const *ec = (struct esr_context const *)hdr;
6005a24871SPaolo Bonzini uint64_t esr = ec->esr;
6105a24871SPaolo Bonzini
6205a24871SPaolo Bonzini /* For data aborts ESR.EC is 0b10010x: then bit 6 is the WnR bit */
6305a24871SPaolo Bonzini return extract32(esr, 27, 5) == 0x12 && extract32(esr, 6, 1) == 1;
6405a24871SPaolo Bonzini }
6505a24871SPaolo Bonzini }
6605a24871SPaolo Bonzini
6705a24871SPaolo Bonzini /*
6805a24871SPaolo Bonzini * Fall back to parsing instructions; will only be needed
6905a24871SPaolo Bonzini * for really ancient (pre-3.16) kernels.
7005a24871SPaolo Bonzini */
7105a24871SPaolo Bonzini insn = *(uint32_t *)host_signal_pc(uc);
7205a24871SPaolo Bonzini
7305a24871SPaolo Bonzini return (insn & 0xbfff0000) == 0x0c000000 /* C3.3.1 */
7405a24871SPaolo Bonzini || (insn & 0xbfe00000) == 0x0c800000 /* C3.3.2 */
7505a24871SPaolo Bonzini || (insn & 0xbfdf0000) == 0x0d000000 /* C3.3.3 */
7605a24871SPaolo Bonzini || (insn & 0xbfc00000) == 0x0d800000 /* C3.3.4 */
7705a24871SPaolo Bonzini || (insn & 0x3f400000) == 0x08000000 /* C3.3.6 */
7805a24871SPaolo Bonzini || (insn & 0x3bc00000) == 0x39000000 /* C3.3.13 */
7905a24871SPaolo Bonzini || (insn & 0x3fc00000) == 0x3d800000 /* ... 128bit */
8005a24871SPaolo Bonzini /* Ignore bits 10, 11 & 21, controlling indexing. */
8105a24871SPaolo Bonzini || (insn & 0x3bc00000) == 0x38000000 /* C3.3.8-12 */
8205a24871SPaolo Bonzini || (insn & 0x3fe00000) == 0x3c800000 /* ... 128bit */
8305a24871SPaolo Bonzini /* Ignore bits 23 & 24, controlling indexing. */
8405a24871SPaolo Bonzini || (insn & 0x3a400000) == 0x28000000; /* C3.3.7,14-16 */
8505a24871SPaolo Bonzini }
8605a24871SPaolo Bonzini
8705a24871SPaolo Bonzini #endif
88