Michael Brown 60891f699a [efi] Use efi_handle_name() instead of efi_devpath_text() where applicable ...

Using efi_devpath_text() is marginally more efficient if we already
have the device path protocol available, but the mild increase in
efficiency is not worth compromising the clarity of the pattern:

  DBGC ( device, "THING %p %s ...", device, efi_handle_name ( device ) );

Signed-off-by: Michael Brown <mcb30@ipxe.org>

2014-07-31 11:57:31 +01:00

..

bofm

[legal] Update FSF mailing address in GPL licence texts

2012-07-20 19:55:45 +01:00

efi

[efi] Use efi_handle_name() instead of efi_devpath_text() where applicable

2014-07-31 11:57:31 +01:00

linux

[linux] Avoid starting currticks() from zero every time

2014-03-07 17:30:05 +00:00

smbios

[smbios] Expose board serial number as ${board-serial}

2014-06-12 17:59:52 +01:00

xen

[xen] Add basic support for PV-HVM domains

2014-07-29 15:57:44 +01:00