#
# Copyright (C) 1998 by the Board of Trustees
#    of Leland Stanford Junior University.
# Copyright (C) 1998 Digital Equipment Corporation
#
# This file is part of the SimOS distribution.
# See LICENSE file for terms of the license.
#


FileSourced osf/osf.tcl


### moved to osf/os.tcl
# annotation type osEvent enum { 
#     switchIn switchOut
# }


####################
####################
##
## stack data structure
##

### kernel/arch/alpha/pcb.h
###
###struct stack_layout {
###	char pad[KERNEL_STACK_SIZE-sizeof(struct pcb)-sizeof(struct uthread)];
###	struct pcb pcb;
###	struct uthread uthread;
###};