/* Queries a handle to determine if it supports a specified protocol. */
EFI_STATUS EFIAPI CoreHandleProtocol(IN EFI_HANDLE UserHandle, IN EFI_GUID *Protocol, OUT VOID **Interface)
/* Queries a handle to determine if it supports a specified protocol. */
EFI_STATUS EFIAPI CoreHandleProtocol(IN EFI_HANDLE UserHandle, IN EFI_GUID *Protocol, OUT VOID **Interface)
{
  return CoreOpenProtocol (
           UserHandle,
           Protocol,
           Interface,
           gDxeCoreImageHandle,
           NULL,
           EFI_OPEN_PROTOCOL_BY_HANDLE_PROTOCOL
           );
}