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