Avi Kivity wrote:
> [[Can't a paravirtualized kernel use a vdso to use int $0x80 instead of
> syscall?]]

No.  The ABI is to inline syscall instructions.  That's possible since
it's not as limited/broken as sysenter.

-- 
➧ Ulrich Drepper ➧ Red Hat, Inc. ➧ 444 Castro St ➧ Mountain View, CA ❖