_EnableHDMIPower 1924 platform/generic/wrappers.c extern void _EnableHDMIPower();
_EnableHDMIPower 1934 platform/generic/wrappers.c             _EnableHDMIPower();