T3.1 needs support for pushback in the IPC API enforced by EFCP. That is, when flow control is supported and the closed window queue is full, attempts to call "write SDU" on that flow should either block the caller or return an error. Further details to be discussed with Michael Welzl.