HelenOS sources

sal_system_table_header_t  109 boot/arch/ia64/include/arch/sal.h extern void sal_system_table_parse(sal_system_table_header_t *);
sal_system_table_header_t  147 boot/arch/ia64/src/main.c 		sal_system_table_header_t *sal_st;
sal_system_table_header_t   39 boot/arch/ia64/src/sal.c void sal_system_table_parse(sal_system_table_header_t *sst)