vud_ime.h

Go to the documentation of this file.

#ifndef VUD_IME_H
#define VUD_IME_H
 
#include "vud.h"
#include "vud_mem.h"
 
typedef enum vud_ime_default_kernel {
    VUD_IME_SK_MSG = 1,
    VUD_IME_SK_XCHG_1,
    VUD_IME_SK_XCHG_2,
    VUD_IME_SK_XCHG_3,
} vud_ime_default_kernel;
 
__attribute__((deprecated))
void vud_ime_launch_sk(vud_rank* r, const char* path);
 
void vud_ime_load(vud_rank* r, const char* path);
 
void vud_ime_load_auth_only(vud_rank* r, const char* path);
 
void vud_ime_launch(vud_rank* r);
 
void vud_ime_launch_default(vud_rank* r, vud_ime_default_kernel kernel);
 
void vud_ime_install_key(vud_rank* r, const uint8_t key[32], const uint64_t common_pk[32], const uint64_t pk[64][32]);
 
__attribute__((deprecated))
void vud_ime_launch_sk_ext(vud_rank* r, size_t n, const char** paths, const uint64_t* addrs);
 
void vud_ime_wait(vud_rank* r);
 
#endif