blob: e7aec817f00e817982b6a24582ac7213211faef4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// 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);
|
