HVG_HCALL_VCPU_WFK

Declaration

HVG_HCALL_VCPU_WFK