[efi] Fix erroneous comparison of a pointer against userptr_t

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

diff --git a/src/interface/efi/efi_autoboot.c b/src/interface/efi/efi_autoboot.c
index 6e8f9df634afb21e1716e2139d929cc4a0dabc1a..f7993b06829b24520415ba6270ce6869e539bb2f 100644 (file)
--- a/src/interface/efi/efi_autoboot.c
+++ b/src/interface/efi/efi_autoboot.c
@@ -119,7 +119,7 @@ static int efi_load_autoexec ( EFI_HANDLE device ) {
        int rc;
 
        /* Sanity check */
-       assert ( efi_autoexec == UNULL );
+       assert ( efi_autoexec == NULL );
        assert ( efi_autoexec_len == 0 );
 
        /* Open simple file system protocol */