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