Searched refs:debug_wrps (Results 1 – 3 of 3) sorted by relevance
110 int wrps = *host_data_ptr(debug_wrps); in __debug_save_state()124 int wrps = *host_data_ptr(debug_wrps); in __debug_restore_state()
84 *host_data_ptr(debug_wrps) = SYS_FIELD_GET(ID_AA64DFR0_EL1, WRPs, dfr0); in kvm_init_host_debug_data()
762 unsigned int debug_wrps; member