SCARD_STATE_MUTE top-level constant

SCARD_STATE const SCARD_STATE_MUTE

const SCARD_STATE_MUTE = SCARD_STATE(512);