Searched refs:w_bvr (Results 1 – 1 of 1) sorted by relevance
250 uint64_t bvr, wvr, w_bvr, w_wvr; in guest_code_ss() local254 w_bvr = i << 2; in guest_code_ss()266 write_sysreg(w_bvr, dbgbvr0_el1); in guest_code_ss()276 GUEST_ASSERT(bvr == w_bvr); in guest_code_ss()
