_EnableHDMIPower 1981 platform/generic/wrappers.c extern void _EnableHDMIPower();
_EnableHDMIPower 1991 platform/generic/wrappers.c             _EnableHDMIPower();