Searched refs:pxeinfo (Results 1 – 4 of 4) sorted by relevance
86 u_int32_t pxeinfo; member230 pxe_enable(kargs->pxeinfo ? PTOV(kargs->pxeinfo) : NULL); in main()
70 void pxe_enable(void *pxeinfo);143 pxe_enable(void *pxeinfo) in pxe_enable() argument145 pxenv_p = (pxenv_t *)pxeinfo; in pxe_enable()
134 void pxe_enable(void *pxeinfo);
112 popl 0xc(%bx) # kargs->pxeinfo = *PXENV+