@ oc2 @ oc1 @ oc0) /* Return value */ } /* 32-bit to 32-bit partial AES Mix Column - inverse*/ val aes_mixcolumn_byte_inv : bits(8)