Hi Judah,
Yes, according to this document, PRD_tick is not supported.
But the issue is that I truly need to invoke it in my project, is there any alternate way to replace it with off-the-shelf BIOS6 API, or a combination of several statements?
Thanks,
Allen