Edit File: paravirt.h