/* syntax-check stub only: SSC C files never touch device registers directly */