Searched defs:exit_rvt (Results 1 – 1 of 1) sorted by relevance
1567 u64 exit_rvt = initial_rvt; in reg_val_propagate_range() local1742 u64 exit_rvt; in reg_val_propagate() local