#include <stdint.h>
#include <stdlib.h>
-#include <vsprintf.h>
+#include <stdio.h>
+#include <errno.h>
#include <console.h>
#include <gpxe/netdevice.h>
#include <gpxe/aoe.h>
int rc;
printf ( "Attempting to boot from AoE device %s via %s\n",
- aoename, netdev_name ( netdev ) );
+ aoename, netdev->name );
if ( ( rc = aoe_parse ( aoename, &test_aoedev.aoe ) ) != 0 ) {
printf ( "Invalid AoE device name \"%s\"\n", aoename );