tree 0bacb1e0521b005c382419985c2cb0bf07186249
parent 3bd6cebda2598e080aae62a3a81e36a60d7ee932
author Jacob Levy <jacob.levy@opentitan.org> 1636471389 +0200
committer tjaychen <timothytim@google.com> 1638217709 -0800

[AST] Update prim_mubi4_sync parameter

Signed-off-by: Jacob Levy <jacob.levy@opentitan.org>