2 * This file is subject to the terms and conditions of the GNU General Public
3 * License. See the file "COPYING" in the main directory of this archive
6 * Copyright (C) 1992 - 1997, 2000-2003 Silicon Graphics, Inc. All rights reserved.
9 #ifndef _ASM_IA64_SN_HCL_UTIL_H
10 #define _ASM_IA64_SN_HCL_UTIL_H
12 #include <asm/sn/sgi.h>
14 extern char * dev_to_name(vertex_hdl_t, char *, unsigned int);
15 extern int device_master_set(vertex_hdl_t, vertex_hdl_t);
16 extern vertex_hdl_t device_master_get(vertex_hdl_t);
17 extern cnodeid_t master_node_get(vertex_hdl_t);
18 extern cnodeid_t nodevertex_to_cnodeid(vertex_hdl_t);
19 extern void mark_nodevertex_as_node(vertex_hdl_t, cnodeid_t);
21 #endif /* _ASM_IA64_SN_HCL_UTIL_H */