 |
Software APIs
|
Go to the documentation of this file.
5#ifndef OPENTITAN_SW_DEVICE_LIB_BASE_RANDOM_ORDER_H_
6#define OPENTITAN_SW_DEVICE_LIB_BASE_RANDOM_ORDER_H_
57#define RANDOM_ORDER_HARDENED_CHECK_DONE(ctx_) \
58 HARDENED_CHECK_EQ(ctx_.max, ctx_.ctr)