Searched refs:pxeinfo (Results 1 – 4 of 4) sorted by relevance
61 void pxe_enable(void *pxeinfo);128 pxe_enable(void *pxeinfo) in pxe_enable() argument130 pxenv_p = (pxenv_t *)pxeinfo; in pxe_enable()
151 void pxe_enable(void *pxeinfo);
70 uint32_t pxeinfo; member
179 pxe_enable(kargs->pxeinfo ? in main()180 PTOV(kargs->pxeinfo) : NULL); in main()