diff options
Diffstat (limited to 'src/pke-at-settings.hpp')
| -rw-r--r-- | src/pke-at-settings.hpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/pke-at-settings.hpp b/src/pke-at-settings.hpp new file mode 100644 index 0000000..1eca096 --- /dev/null +++ b/src/pke-at-settings.hpp @@ -0,0 +1,15 @@ +#ifndef PKE_AT_PKE_AT_SETTINGS_HPP +#define PKE_AT_PKE_AT_SETTINGS_HPP + +#include "pke/pk.h" + +struct pke_at_global_settings { + struct pke_at_global_settings_mem { + pk_membucket *bkt; + pk_membucket *bkt_transient; + } mem; +}; + +extern struct pke_at_global_settings pke_at_settings; + +#endif /* PKE_AT_PKE_AT_SETTINGS_HPP */ |