Symbol: PKVM_ID_HYP