/*
 * subarch specific definitions
 */

#ifndef SUBARCH_H
#define SUBARCH_H

#include <stdint.h>

#define PAGE_SIZE	4096
#define STACK_PAGES	16
#define KSEG0ADDR(addr)	(((addr) & 0x1fffffff) | 0x80000000)
#define KSEG1ADDR(addr)	(((addr) & 0x1fffffff) | 0xa0000000)

#endif