Searched refs:w_bvr (Results 1 – 1 of 1) sorted by relevance
379 u64 bvr, wvr, w_bvr, w_wvr; in guest_code_ss() local383 w_bvr = i << 2; in guest_code_ss()403 write_sysreg(w_bvr, dbgbvr0_el1); in guest_code_ss()411 GUEST_ASSERT_EQ(bvr, w_bvr); in guest_code_ss()