Searched refs:debug_brps (Results 1 – 3 of 3) sorted by relevance
109 int brps = *host_data_ptr(debug_brps); in __debug_save_state()123 int brps = *host_data_ptr(debug_brps); in __debug_restore_state()
83 *host_data_ptr(debug_brps) = SYS_FIELD_GET(ID_AA64DFR0_EL1, BRPs, dfr0); in kvm_init_host_debug_data()
761 unsigned int debug_brps; member