Searched refs:bvr (Results 1 – 2 of 2) sorted by relevance
117 /* Reset all bcr/bvr/wcr/wvr registers */ in GEN_DEBUG_WRITE_REG() 381 uint64_t bvr, wvr, w_bvr, w_wvr; in guest_code_ss() local 407 bvr = read_sysreg(dbgbvr0_el1); in guest_code_ss() 413 GUEST_ASSERT_EQ(bvr, w_bvr); in guest_code_ss()
92 #define AARCH64_DBG_REG_NAME_BVR bvr