/**
 * \file
 * \brief Arch specific LMP declarations
 */

/*
 * Copyright (c) 2015, ETH Zurich.
 * All rights reserved.
 *
 * This file is distributed under the terms in the attached LICENSE file.
 * If you do not find this file, copies can be found by writing to:
 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
 */

#ifndef ARCH_AARCH64_BARRELFISH_KPI_LMP_H
#define ARCH_AARCH64_BARRELFISH_KPI_LMP_H

/**
 * \brief Maximum total length of LMP and LRPC messages (payload)
 *
 * Determined by number of registers available to transfer messages.
 * XXX: TODO: figure out numbers here
 */
#define LMP_MSG_LENGTH          4
#define LRPC_MSG_LENGTH         0

#endif // ARCH_AARCH64_BARRELFISH_KPI_LMP_H