Searched refs:VKI_E_TABSZ (Results 1 – 2 of 2) sorted by relevance
6533 PRE_MEM_WRITE( "ioctl(GIO_SCRNMAP)", ARG3, VKI_E_TABSZ ); in PRE()6536 PRE_MEM_READ( "ioctl(PIO_SCRNMAP)", ARG3, VKI_E_TABSZ ); in PRE()6540 VKI_E_TABSZ * sizeof(unsigned short) ); in PRE()6544 VKI_E_TABSZ * sizeof(unsigned short) ); in PRE()9177 POST_MEM_WRITE( ARG3, VKI_E_TABSZ ); in POST()9182 POST_MEM_WRITE( ARG3, VKI_E_TABSZ * sizeof(unsigned short) ); in POST()
2212 #define VKI_E_TABSZ 256 macro