#ifndef SPX_THASH_H
#define SPX_THASH_H

#include "context.h"
#include "params.h"

#include <Library/UefiLib.h>
#include <Library/BaseLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/BaseMemoryLib.h>
#include <Uefi.h>

#define thash SPX_NAMESPACE(thash)
VOID thash(UINT8 *out, const UINT8 *in, UINT32 inblocks,
           const spx_ctx *ctx, UINT32 addr[8]);

#endif
