| 445 | } |
| 446 | |
| 447 | EFI_STATUS |
| 448 | PrintGuid ( |
| 449 | IN EFI_GUID *Guid |
| 450 | ) |
| 451 | /*++ |
| 452 | |
| 453 | Routine Description: |
| 454 | |
| 455 | This function prints a GUID to STDOUT. |
| 456 | |
| 457 | Arguments: |
| 458 | |
| 459 | Guid Pointer to a GUID to print. |
| 460 | |
| 461 | Returns: |
| 462 | |
| 463 | EFI_SUCCESS The GUID was printed. |
| 464 | EFI_INVALID_PARAMETER The input was NULL. |
| 465 | |
| 466 | --*/ |
| 467 | { |
| 468 | if (Guid == NULL) { |
| 469 | Error (NULL, 0, 2000, "Invalid parameter", "PrintGuidToBuffer() called with a NULL value"); |
| 470 | return EFI_INVALID_PARAMETER; |
| 471 | } |
| 472 | |
| 473 | printf ( |
| 474 | "%08x-%04x-%04x-%02x%02x-%02x%02x%02x%02x%02x%02x\n", |
| 475 | (unsigned) Guid->Data1, |
| 476 | Guid->Data2, |
| 477 | Guid->Data3, |
| 478 | Guid->Data4[0], |
| 479 | Guid->Data4[1], |
| 480 | Guid->Data4[2], |
| 481 | Guid->Data4[3], |
| 482 | Guid->Data4[4], |
| 483 | Guid->Data4[5], |
| 484 | Guid->Data4[6], |
| 485 | Guid->Data4[7] |
| 486 | ); |
| 487 | return EFI_SUCCESS; |
| 488 | } |
| 489 | |
| 490 | EFI_STATUS |
| 491 | PrintGuidToBuffer ( |
no test coverage detected