Searched refs:vlc_ebx (Results 1 – 3 of 3) sorted by relevance
160 basic_cpuid[1] != legacy.vlc_ebx || in main()
465 uint32_t vlc_ebx; member
1356 &vlc.vlc_ebx, &vlc.vlc_ecx, &vlc.vlc_edx); in vmmdev_do_ioctl()