aboutsummaryrefslogtreecommitdiff
path: root/src/interface/efi/efi_bofm.c
diff options
context:
space:
mode:
authorMichael Brown <mcb30@ipxe.org>2014-07-31 10:44:25 +0100
committerMichael Brown <mcb30@ipxe.org>2014-07-31 11:56:44 +0100
commit2e0821b9edc354387687d7c01e18616964ceaeda (patch)
tree7975ea34b0f82ed519363049e20738d97f02b129 /src/interface/efi/efi_bofm.c
parent736fcf60d1db389941b4f15f94c31fe0403552a8 (diff)
downloadipxe-2e0821b9edc354387687d7c01e18616964ceaeda.zip
ipxe-2e0821b9edc354387687d7c01e18616964ceaeda.tar.gz
ipxe-2e0821b9edc354387687d7c01e18616964ceaeda.tar.bz2
[efi] Use efi_handle_name() instead of efi_handle_devpath_text()
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/interface/efi/efi_bofm.c')
-rw-r--r--src/interface/efi/efi_bofm.c9
1 files changed, 4 insertions, 5 deletions
diff --git a/src/interface/efi/efi_bofm.c b/src/interface/efi/efi_bofm.c
index e49dbe4..8d277e8 100644
--- a/src/interface/efi/efi_bofm.c
+++ b/src/interface/efi/efi_bofm.c
@@ -175,7 +175,7 @@ static int efi_bofm_supported ( EFI_HANDLE device ) {
/* Look for a BOFM driver */
if ( ( rc = bofm_find_driver ( &pci ) ) != 0 ) {
DBGCP ( device, "EFIBOFM %p %s has no driver\n",
- device, efi_handle_devpath_text ( device ) );
+ device, efi_handle_name ( device ) );
return rc;
}
@@ -184,7 +184,7 @@ static int efi_bofm_supported ( EFI_HANDLE device ) {
&bofm1.interface ) ) != 0 ) {
rc = -EEFI ( efirc );
DBGC ( device, "EFIBOFM %p %s cannot find BOFM protocol\n",
- device, efi_handle_devpath_text ( device ) );
+ device, efi_handle_name ( device ) );
return rc;
}
@@ -195,13 +195,12 @@ static int efi_bofm_supported ( EFI_HANDLE device ) {
0x02 /* Version */ ))!=0){
rc = -EEFI ( efirc );
DBGC ( device, "EFIBOFM %p %s could not register support: %s\n",
- device, efi_handle_devpath_text ( device ),
- strerror ( rc ) );
+ device, efi_handle_name ( device ), strerror ( rc ) );
return rc;
}
DBGC ( device, "EFIBOFM %p %s has driver \"%s\"\n",
- device, efi_handle_devpath_text ( device ), pci.id->name );
+ device, efi_handle_name ( device ), pci.id->name );
return 0;
}