/*
 * Copyright (C) 2005 MIPS Technologies, Inc.  All rights reserved.
 *
 *  This program is free software; you can distribute it and/or modify it
 *  under the terms of the GNU General Public License (Version 2) as
 *  published by the Free Software Foundation.
 *
 *  This program is distributed in the hope it will be useful, but WITHOUT
 *  ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 *  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 *  for more details.
 *
 *  You should have received a copy of the GNU General Public License along
 *  with this program; if not, write to the Free Software Foundation, Inc.,
 *  59 Temple Place - Suite 330, Boston MA 02111-1307, USA.
 *
 */

#ifndef _ASM_VPE_H
#define _ASM_VPE_H

struct vpe_notifications {
	void (*start)(int vpe);
	void (*stop)(int vpe);

	struct list_head list;
};

extern unsigned long physical_memsize;
extern int vpe_notify(int index, struct vpe_notifications *notify);
extern void save_gp_address(unsigned int secbase, unsigned int rel);

/*
 * libc style I/O support hooks
 */

extern void *vpe_get_shared(int index);
extern int vpe_getuid(int index);
extern int vpe_getgid(int index);
extern char *vpe_getcwd(int index);

/*
 * Kernel/Kernel message passing support hooks
 */

extern void *vpe_get_shared_area(int index, int type);

/* "Well-Known" Area Types */

#define VPE_SHARED_NULL 0
#define VPE_SHARED_RESERVED -1

struct vpe_shared_area {
	int type;
	void *addr;
};

/*
 * IRQ assignment and initialization hook for RP services.
 */

int arch_get_xcpu_irq(void);

int vpe_send_interrupt(int v, int i);
#endif /* _ASM_VPE_H */