/* return the current TPL, copied from the EDKII glue lib. */
EFI_TPL UsbGetCurrentTpl(VOID)
/* return the current TPL, copied from the EDKII glue lib. */
EFI_TPL UsbGetCurrentTpl(VOID)
{
  EFI_TPL  Tpl;
  Tpl = gBS->RaiseTPL (TPL_HIGH_LEVEL);
  gBS->RestoreTPL (Tpl);
  return Tpl;
}