Which pins are powered by the VCCRSTCLK_HPS supply?

Description

The VCCRSTCLK_HPS supply is used to power the following pins in Arria® V and Cyclone® V SoC devices:

HPS_CLK1
HPS_CLK2 
HPS_PORSEL
HPS_nRST 
HPS_nPOR

Resolution

The documentation "Cyclone® V Device Handbook: Volume 1: Device Interfaces and Integration" has added this information in version 14.1.