/* 
 * Copyright 2011 Stefan Lankes, Chair for Operating Systems,
 *                               RWTH Aachen University
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *
 * This file is part of MetalSVM.
 */

/*
 * Function and prototypes for MetalSVM's inter core communication
 */

#ifndef __ARCH_ICC_H__
#define __ARCH_ICC_H__

#ifdef __cplusplus
extern "C" {
#endif

#ifdef CONFIG_ROCKCREEK

typedef struct {
	uint32_t addr;  // address of the initrd
	uint32_t size;  // size of the initrd
	int32_t  argc;  // number of RCCE arguments
	char**   argv;  // RCCE arguments
} bootinfo_t;

extern bootinfo_t* bootinfo;

enum icc_mail_requests {
	PING_REQ=1,
	PING_RESP,
	SVM_REQ,
	SVM_RESP,
	NOISE,
};

int icc_init(void);
int icc_halt(void);
void icc_mail_check(void);
int icc_mail_ping(void);
int icc_send_gic_irq(int core_num);
int icc_mail_ping_irq(void);
int icc_mail_ping_jitter(void);
int icc_mail_noise(void);
void icc_wait(int tag);

#endif

#ifdef __cplusplus
}
#endif

#endif