Searched refs:w_bvr (Results 1 – 1 of 1) sorted by relevance
381 uint64_t bvr, wvr, w_bvr, w_wvr; in guest_code_ss() local385 w_bvr = i << 2; in guest_code_ss()405 write_sysreg(w_bvr, dbgbvr0_el1); in guest_code_ss()413 GUEST_ASSERT_EQ(bvr, w_bvr); in guest_code_ss()