x86-32, vdso: On system call restart after SYSENTER, use int $0x80
[cascardo/linux.git] / virt /
drwxr-xr-x   ..
drwxr-xr-x - kvm