63 DBGC (
image,
"IMAGE %s could not prepare segment: %s\n",
73 DBGC (
image,
"IMAGE %s could not locate PXE net device\n",
93 disable_irq (
netdev->dev->desc.irq );
126 if (
image->
len > ( 0xa0000 - 0x7c00 ) )
158 DBGC (
image,
"IMAGE %s may be an EFI image\n",
175 .name =
"PXE-NBP (may be EFI?)",
#define NULL
NULL pointer (VOID *)
EFI image format for PE32, PE32+ and TE.
#define EFI_IMAGE_DOS_SIGNATURE
struct arbelprm_rc_send_wqe rc
uint16_t magic
Magic signature.
static struct net_device * netdev
#define DHCP_EB_FEATURE_PXE
PXE format.
#define FEATURE_IMAGE
Image formats.
uint32_t buffer
Buffer index (or NETVSC_RNDIS_NO_BUFFER)
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
#define ENOEXEC
Exec format error.
#define ENODEV
No such device.
#define ENOTTY
Inappropriate I/O control operation.
#define PROBE_PXE
PXE image probe priority.
#define __image_type(probe_order)
An executable image type.
#define cpu_to_le16(value)
static void console_reset(void)
Reset console.
void * memcpy(void *dest, const void *src, size_t len) __nonnull
#define FEATURE(category, text, feature_opt, version)
Declare a feature.
struct net_device * last_opened_netdev(void)
Get most recently opened network device.
int netdev_open(struct net_device *netdev)
Open network device.
Network device management.
static struct net_device * netdev_get(struct net_device *netdev)
Get reference to network device.
static int netdev_irq_supported(struct net_device *netdev)
Check whether or not network device supports interrupts.
static void netdev_put(struct net_device *netdev)
Drop reference to network device.
void pxe_activate(struct net_device *netdev)
Activate PXE stack.
int pxe_start_nbp(void)
Start PXE NBP at 0000:7c00.
int pxe_deactivate(void)
Deactivate PXE stack.
const char * pxe_cmdline
PXE command line.
int pxe_probe_no_mz(struct image *image)
Probe PXE image (with rejection of potential EFI images)
int pxe_probe(struct image *image)
Probe PXE image.
static int pxe_exec(struct image *image)
Execute PXE image.
void pxe_fake_cached_info(void)
Construct cached DHCP packets.
static __always_inline void * real_to_virt(unsigned int segment, unsigned int offset)
Convert segment:offset address to virtual address.
int prep_segment(void *segment, size_t filesz, size_t memsz)
Prepare segment for loading.
Executable image segments.
char * strerror(int errno)
Retrieve string representation of error number.
An executable image type.
const void * data
Read-only data.
size_t len
Length of raw file image.
char * cmdline
Command line to pass to image.