/* This function calls ProcessLibraryDestructorList() and the EFI Boot Service  */
VOID EFIAPI Exit(IN EFI_STATUS Status)
/* This function calls ProcessLibraryDestructorList() and the EFI Boot Service  */
VOID EFIAPI Exit(IN EFI_STATUS Status)
{
  ProcessLibraryDestructorList (gImageHandle, gST);
  gBS->Exit (gImageHandle, Status, 0, NULL);
}