13 lines
444 B
C
13 lines
444 B
C
// 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);
|