Home
last modified time | relevance | path

Searched refs:BAD_ID_REG_VAL (Results 1 – 1 of 1) sorted by relevance

/Linux-v6.1/tools/testing/selftests/kvm/aarch64/
Daarch32_id_regs.c17 #define BAD_ID_REG_VAL 0x1badc0deul macro
106 vcpu_set_reg(vcpu, reg_id, BAD_ID_REG_VAL); in test_user_raz_wi()
131 r = __vcpu_set_reg(vcpu, reg_id, BAD_ID_REG_VAL); in test_user_raz_invariant()