Searched refs:VKI_VT_DISALLOCATE (Results 1 – 2 of 2) sorted by relevance
2463 #define VKI_VT_DISALLOCATE 0x5608 /* free memory associated to vt */ macro
7342 case VKI_VT_DISALLOCATE: in PRE()9961 case VKI_VT_DISALLOCATE: in POST()