def apply_pfp_lp_preemptive_prio_bounds(all_tasks): model = get_cpp_model(all_tasks) res = lp_cpp.lp_pfp_prio_spinlock_bounds(model, True) for i, _ in enumerate(all_tasks): all_tasks[i].blocked = res.get_blocking_term(i) return res