sal_to_os_boot    892 arch/ia64/include/asm/sal.h extern struct sal_to_os_boot sal_boot_rendez_state[NR_CPUS];
sal_to_os_boot    894 arch/ia64/include/asm/sal.h extern void ia64_jump_to_sal(struct sal_to_os_boot *);
sal_to_os_boot     78 arch/ia64/kernel/smpboot.c struct sal_to_os_boot sal_boot_rendez_state[NR_CPUS];
sal_to_os_boot     84 arch/ia64/kernel/smpboot.c struct sal_to_os_boot *sal_state_for_booting_cpu = &sal_boot_rendez_state[0];