Searched refs:pxeinfo (Results 1 – 4 of 4) sorted by relevance
50 uint32_t pxeinfo; member
157 pxe_enable(kargs->pxeinfo ? in main()158 PTOV(kargs->pxeinfo) : NULL); in main()
63 void pxe_enable(void *pxeinfo);135 pxe_enable(void *pxeinfo) in pxe_enable() argument137 pxenv_p = (pxenv_t *)pxeinfo; in pxe_enable()
150 void pxe_enable(void *pxeinfo);