FDP_IPC_EXT.1 allows DisplayPort input and HDMI output but not HDMI input and DisplayPort output. 

FDP_IPC_EXT.1 in PP-Module for Video/Display Devices v1.0 is modified as follows (additions underlined):

FDP_IPC_EXT.1.1  The TSF shall convert the [DisplayPort] protocol at the [selection: DisplayPort peripheral display interface(s), DisplayPort computer video interface] into the [HDMI] protocol within the TOE. 

FDP_IPC_EXT.1.2  The  TSF  shall  output  the  [HDMI]  protocol  from  inside  the  TOE  to  [selection: computer video interface, peripheral display interface(s)] as [selection: [DisplayPort] protocol, [HDMI] protocol]. 

Application Note:  This  SFR  must  be  claimed  if  “DisplayPort”  is  chosen  as  a  selection  for  FDP_PDC_EXT.2.1/VI. The intent of this requirement is to ensure HDMI is used in place of DisplayPort while within the TOE, whether the DisplayPort interface is at the peripheral display interface, computer video interface, or both.

See issue description.