x86: vdso: use __pvclock_read_cycles

The new simplified __pvclock_read_cycles does the same computation
as vread_pvclock, except that (because it takes the pvclock_vcpu_time_info
pointer) it has to be moved inside the loop.  Since the loop is expected to
never roll, this makes no difference.

Acked-by: Andy Lutomirski <luto@kernel.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

path: root/keypair.h

#ifndef KEYPAIR_H
#define KEYPAIR_H

extern void generate_keypair(void);
extern void verify_keypair(void);

#endif /* KEYPAIR_H */