acrn-kernel/arch/ia64/hp/sim/hpsim.S