Searched refs:VKI_E_TABSZ (Results 1 – 2 of 2) sorted by relevance
4635 PRE_MEM_WRITE( "ioctl(GIO_SCRNMAP)", ARG3, VKI_E_TABSZ ); in PRE()4638 PRE_MEM_READ( "ioctl(PIO_SCRNMAP)", ARG3, VKI_E_TABSZ ); in PRE()4642 VKI_E_TABSZ * sizeof(unsigned short) ); in PRE()4646 VKI_E_TABSZ * sizeof(unsigned short) ); in PRE()5717 POST_MEM_WRITE( ARG3, VKI_E_TABSZ ); in POST()5722 POST_MEM_WRITE( ARG3, VKI_E_TABSZ * sizeof(unsigned short) ); in POST()
2076 #define VKI_E_TABSZ 256 macro