Searched refs:VKI_BLKROGET (Results 1 – 2 of 2) sorted by relevance
1701 #define VKI_BLKROGET _VKI_IO(0x12,94) /* get read-only status (0 = read_write) */ macro
4770 case VKI_BLKROGET: in PRE()6030 case VKI_BLKROGET: in POST()