Calling VDK_PendSemaphore from ISR

I have an application which is having atleast 3 tasks and use a common semaphore. 

In one case, the semaphore is posted from ISR to a thread and I understand I have to use C_ISR_PostSemaphore.

Is it possible to use VDK_PendSemaphore in the ISR ??