id.h

Go to the documentation of this file.

/*
 * Copyright (C) 2024 TU Dresden
 * Copyright (C) 2021 HAW Hamburg
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 */
 
#pragma once
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <stdint.h>
 
typedef uint32_t psa_key_id_t;
 
#define PSA_KEY_ID_NULL ((psa_key_id_t)0)
 
#define PSA_KEY_ID_USER_MIN ((psa_key_id_t)0x00000001)
 
#define PSA_KEY_ID_USER_MAX ((psa_key_id_t)0x3fffffff)
 
#define PSA_KEY_ID_VENDOR_MIN ((psa_key_id_t)0x40000000)
 
#define PSA_KEY_ID_VENDOR_MAX ((psa_key_id_t)0x7fffffff)
 
#ifdef __cplusplus
}
#endif