| // 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); |