diff options
Diffstat (limited to 'lib/efi/efi_stub.c')
| -rw-r--r-- | lib/efi/efi_stub.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/efi/efi_stub.c b/lib/efi/efi_stub.c index 646cde3214..a35fce1385 100644 --- a/lib/efi/efi_stub.c +++ b/lib/efi/efi_stub.c @@ -152,7 +152,7 @@ static inline unsigned long read_cr3(void) * EFI we must first change to 32-bit mode. To do this we need to find the * correct code segment to use (an entry in the Global Descriptor Table). * - * @return code segment GDT offset, or 0 for 32-bit EFI, -ENOENT if not found + * Return: code segment GDT offset, or 0 for 32-bit EFI, -ENOENT if not found */ static int get_codeseg32(void) { |