Editing: vtpm_proxy.h

BATAL