Symbol: ptp_release
sys/amd64/vmm/vmm_instruction_emul.c
2046
ptp_release(void **cookie)
sys/arm64/vmm/vmm_arm64.c
833
ptp_release(void **cookie)