// SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later | |
/* Copyright 2017 IBM Corp. */ | |
#include <stdint.h> | |
uint32_t mbox_server_total_size(void); | |
uint32_t mbox_server_erase_granule(void); | |
int mbox_server_version(void); | |
void mbox_server_memset(int c); | |
int mbox_server_memcmp(int off, const void *buf, size_t len); | |
int mbox_server_reset(unsigned int version, uint8_t block_shift); | |
int mbox_server_init(void); | |
void mbox_server_destroy(void); |