Symbol: ptp_release
sys/amd64/vmm/vmm_instruction_emul.c
2059
ptp_release(cookie);
sys/amd64/vmm/vmm_instruction_emul.c
2083
ptp_release(&cookie);
sys/amd64/vmm/vmm_instruction_emul.c
2253
ptp_release(&cookie);
sys/arm64/vmm/vmm_arm64.c
1064
ptp_release(&cookie);
sys/arm64/vmm/vmm_arm64.c
1068
ptp_release(&cookie);
sys/arm64/vmm/vmm_arm64.c
1072
ptp_release(&cookie);
sys/arm64/vmm/vmm_arm64.c
846
ptp_release(cookie);