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