Searched refs:VKI_BLKROSET (Results 1 – 2 of 2) sorted by relevance
1758 #define VKI_BLKROSET _VKI_IO(0x12,93) /* set device read-only (0 = read-write) */ macro
6215 case VKI_BLKROSET: in PRE()8905 case VKI_BLKROSET: in POST()