From 0e407377dde26c5915d6df17397566244bb9d412 Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Thu, 27 Aug 2015 01:40:40 +0100 Subject: [efi] Mark EFI debug transcription functions as __attribute__ (( pure )) Signed-off-by: Michael Brown --- src/include/ipxe/efi/efi.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/include') diff --git a/src/include/ipxe/efi/efi.h b/src/include/ipxe/efi/efi.h index 57c9f01c6..f3f1d1acc 100644 --- a/src/include/ipxe/efi/efi.h +++ b/src/include/ipxe/efi/efi.h @@ -200,9 +200,11 @@ extern EFI_LOADED_IMAGE_PROTOCOL *efi_loaded_image; extern EFI_DEVICE_PATH_PROTOCOL *efi_loaded_image_path; extern EFI_SYSTEM_TABLE *efi_systab; -extern const char * efi_guid_ntoa ( EFI_GUID *guid ); -extern const char * efi_devpath_text ( EFI_DEVICE_PATH_PROTOCOL *path ); -extern const char * efi_handle_name ( EFI_HANDLE handle ); +extern const __attribute__ (( pure )) char * efi_guid_ntoa ( EFI_GUID *guid ); +extern const __attribute__ (( pure )) char * +efi_devpath_text ( EFI_DEVICE_PATH_PROTOCOL *path ); +extern const __attribute__ (( pure )) char * +efi_handle_name ( EFI_HANDLE handle ); extern void dbg_efi_openers ( EFI_HANDLE handle, EFI_GUID *protocol ); extern void dbg_efi_protocols ( EFI_HANDLE handle ); -- cgit v1.2.3-55-g7522