1 // SPDX-License-Identifier: GPL-2.0
8 #define MDSCR_KDE (1 << 13)
9 #define MDSCR_MDE (1 << 15)
10 #define MDSCR_SS (1 << 0)
12 #define DBGBCR_LEN8 (0xff << 5)
13 #define DBGBCR_EXEC (0x0 << 3)
14 #define DBGBCR_EL1 (0x1 << 1)
15 #define DBGBCR_E (0x1 << 0)
17 #define DBGWCR_LEN8 (0xff << 5)
18 #define DBGWCR_RD (0x1 << 3)
19 #define DBGWCR_WR (0x2 << 3)
20 #define DBGWCR_EL1 (0x1 << 1)
21 #define DBGWCR_E (0x1 << 0)
23 #define SPSR_D (1 << 9)
24 #define SPSR_SS (1 << 21)
26 extern unsigned char sw_bp, hw_bp, bp_svc, bp_brk, hw_wp, ss_start;
27 static volatile uint64_t sw_bp_addr, hw_bp_addr;
28 static volatile uint64_t wp_addr, wp_data_addr;
29 static volatile uint64_t svc_addr;
30 static volatile uint64_t ss_addr[4], ss_idx;
31 #define PC(v) ((uint64_t)&(v))
33 static void reset_debug_state(void)
35 asm volatile("msr daifset, #8");
37 write_sysreg(osdlr_el1, 0);
38 write_sysreg(oslar_el1, 0);
41 write_sysreg(mdscr_el1, 0);
42 /* This test only uses the first bp and wp slot. */
43 write_sysreg(dbgbvr0_el1, 0);
44 write_sysreg(dbgbcr0_el1, 0);
45 write_sysreg(dbgwcr0_el1, 0);
46 write_sysreg(dbgwvr0_el1, 0);
50 static void install_wp(uint64_t addr)
55 wcr = DBGWCR_LEN8 | DBGWCR_RD | DBGWCR_WR | DBGWCR_EL1 | DBGWCR_E;
56 write_sysreg(dbgwcr0_el1, wcr);
57 write_sysreg(dbgwvr0_el1, addr);
60 asm volatile("msr daifclr, #8");
62 mdscr = read_sysreg(mdscr_el1) | MDSCR_KDE | MDSCR_MDE;
63 write_sysreg(mdscr_el1, mdscr);
67 static void install_hw_bp(uint64_t addr)
72 bcr = DBGBCR_LEN8 | DBGBCR_EXEC | DBGBCR_EL1 | DBGBCR_E;
73 write_sysreg(dbgbcr0_el1, bcr);
74 write_sysreg(dbgbvr0_el1, addr);
77 asm volatile("msr daifclr, #8");
79 mdscr = read_sysreg(mdscr_el1) | MDSCR_KDE | MDSCR_MDE;
80 write_sysreg(mdscr_el1, mdscr);
84 static void install_ss(void)
88 asm volatile("msr daifclr, #8");
90 mdscr = read_sysreg(mdscr_el1) | MDSCR_KDE | MDSCR_SS;
91 write_sysreg(mdscr_el1, mdscr);
95 static volatile char write_data;
97 static void guest_code(void)
101 /* Software-breakpoint */
102 asm volatile("sw_bp: brk #0");
103 GUEST_ASSERT_EQ(sw_bp_addr, PC(sw_bp));
107 /* Hardware-breakpoint */
109 install_hw_bp(PC(hw_bp));
110 asm volatile("hw_bp: nop");
111 GUEST_ASSERT_EQ(hw_bp_addr, PC(hw_bp));
115 /* Hardware-breakpoint + svc */
117 install_hw_bp(PC(bp_svc));
118 asm volatile("bp_svc: svc #0");
119 GUEST_ASSERT_EQ(hw_bp_addr, PC(bp_svc));
120 GUEST_ASSERT_EQ(svc_addr, PC(bp_svc) + 4);
124 /* Hardware-breakpoint + software-breakpoint */
126 install_hw_bp(PC(bp_brk));
127 asm volatile("bp_brk: brk #0");
128 GUEST_ASSERT_EQ(sw_bp_addr, PC(bp_brk));
129 GUEST_ASSERT_EQ(hw_bp_addr, PC(bp_brk));
135 install_wp(PC(write_data));
137 GUEST_ASSERT_EQ(write_data, 'x');
138 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data));
146 asm volatile("ss_start:\n"
151 GUEST_ASSERT_EQ(ss_addr[0], PC(ss_start));
152 GUEST_ASSERT_EQ(ss_addr[1], PC(ss_start) + 4);
153 GUEST_ASSERT_EQ(ss_addr[2], PC(ss_start) + 8);
158 static void guest_sw_bp_handler(struct ex_regs *regs)
160 sw_bp_addr = regs->pc;
164 static void guest_hw_bp_handler(struct ex_regs *regs)
166 hw_bp_addr = regs->pc;
167 regs->pstate |= SPSR_D;
170 static void guest_wp_handler(struct ex_regs *regs)
172 wp_data_addr = read_sysreg(far_el1);
174 regs->pstate |= SPSR_D;
177 static void guest_ss_handler(struct ex_regs *regs)
179 GUEST_ASSERT_1(ss_idx < 4, ss_idx);
180 ss_addr[ss_idx++] = regs->pc;
181 regs->pstate |= SPSR_SS;
184 static void guest_svc_handler(struct ex_regs *regs)
189 static int debug_version(struct kvm_vm *vm)
191 uint64_t id_aa64dfr0;
193 get_reg(vm, VCPU_ID, ARM64_SYS_REG(ID_AA64DFR0_EL1), &id_aa64dfr0);
194 return id_aa64dfr0 & 0xf;
197 int main(int argc, char *argv[])
203 vm = vm_create_default(VCPU_ID, 0, guest_code);
204 ucall_init(vm, NULL);
206 vm_init_descriptor_tables(vm);
207 vcpu_init_descriptor_tables(vm, VCPU_ID);
209 if (debug_version(vm) < 6) {
210 print_skip("Armv8 debug architecture not supported.");
215 vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
216 ESR_EC_BRK_INS, guest_sw_bp_handler);
217 vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
218 ESR_EC_HW_BP_CURRENT, guest_hw_bp_handler);
219 vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
220 ESR_EC_WP_CURRENT, guest_wp_handler);
221 vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
222 ESR_EC_SSTEP_CURRENT, guest_ss_handler);
223 vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
224 ESR_EC_SVC64, guest_svc_handler);
226 for (stage = 0; stage < 7; stage++) {
227 vcpu_run(vm, VCPU_ID);
229 switch (get_ucall(vm, VCPU_ID, &uc)) {
231 TEST_ASSERT(uc.args[1] == stage,
232 "Stage %d: Unexpected sync ucall, got %lx",
233 stage, (ulong)uc.args[1]);
236 TEST_FAIL("%s at %s:%ld\n\tvalues: %#lx, %#lx",
237 (const char *)uc.args[0],
238 __FILE__, uc.args[1], uc.args[2], uc.args[3]);
243 TEST_FAIL("Unknown ucall %lu", uc.cmd);