#ifndef _USR_INIT_MEMORYSERVER_H_
#define _USR_INIT_MEMORYSERVER_H_

#include <aos/aos_rpc.h>

typedef errval_t (* ram_cap_callback_t)(const size_t bytes, const size_t alignment, struct capref *retcap, size_t *retbytes);

errval_t memoryserver_ump_add_client(struct aos_rpc *rpc, coreid_t mpid);

errval_t memoryserver_ump_serve_next(void);

errval_t memoryserver_init(
    ram_cap_callback_t ram_cap_cb
);

#endif
