softfloat: Inline float128 compare specializations
[qemu/ericb.git] / pc-bios / s390-ccw / jump2ipl.c
blob4eba2510b045ff06157ca550285605768a3b372a
1 /*
2 * QEMU s390-ccw firmware - jump to IPL code
4 * This work is licensed under the terms of the GNU GPL, version 2 or (at
5 * your option) any later version. See the COPYING file in the top-level
6 * directory.
7 */
9 #include "libc.h"
10 #include "s390-ccw.h"
12 #define KERN_IMAGE_START 0x010000UL
13 #define PSW_MASK_64 0x0000000100000000ULL
14 #define PSW_MASK_32 0x0000000080000000ULL
15 #define PSW_MASK_SHORTPSW 0x0008000000000000ULL
16 #define RESET_PSW_MASK (PSW_MASK_SHORTPSW | PSW_MASK_32 | PSW_MASK_64)
18 typedef struct ResetInfo {
19 uint64_t ipl_psw;
20 uint32_t ipl_continue;
21 } ResetInfo;
23 static ResetInfo save;
25 static void jump_to_IPL_2(void)
27 ResetInfo *current = 0;
29 void (*ipl)(void) = (void *) (uint64_t) current->ipl_continue;
30 *current = save;
31 ipl(); /* should not return */
34 void jump_to_IPL_code(uint64_t address)
36 /* store the subsystem information _after_ the bootmap was loaded */
37 write_subsystem_identification();
38 write_iplb_location();
40 /* prevent unknown IPL types in the guest */
41 if (iplb.pbt == S390_IPL_TYPE_QEMU_SCSI) {
42 iplb.pbt = S390_IPL_TYPE_CCW;
43 set_iplb(&iplb);
47 * The IPL PSW is at address 0. We also must not overwrite the
48 * content of non-BIOS memory after we loaded the guest, so we
49 * save the original content and restore it in jump_to_IPL_2.
51 ResetInfo *current = 0;
53 save = *current;
55 current->ipl_psw = (uint64_t) &jump_to_IPL_2;
56 current->ipl_psw |= RESET_PSW_MASK;
57 current->ipl_continue = address & 0x7fffffff;
59 debug_print_int("set IPL addr to", current->ipl_continue);
61 /* Ensure the guest output starts fresh */
62 sclp_print("\n");
65 * HACK ALERT.
66 * We use the load normal reset to keep r15 unchanged. jump_to_IPL_2
67 * can then use r15 as its stack pointer.
69 asm volatile("lghi 1,1\n\t"
70 "diag 1,1,0x308\n\t"
71 : : : "1", "memory");
72 panic("\n! IPL returns !\n");
75 void jump_to_low_kernel(void)
78 * If it looks like a Linux binary, i.e. there is the "S390EP" magic from
79 * arch/s390/kernel/head.S here, then let's jump to the well-known Linux
80 * kernel start address (when jumping to the PSW-at-zero address instead,
81 * the kernel startup code fails when we booted from a network device).
83 if (!memcmp((char *)0x10008, "S390EP", 6)) {
84 jump_to_IPL_code(KERN_IMAGE_START);
87 /* Trying to get PSW at zero address */
88 if (*((uint64_t *)0) & RESET_PSW_MASK) {
89 jump_to_IPL_code((*((uint64_t *)0)) & 0x7fffffff);
92 /* No other option left, so use the Linux kernel start address */
93 jump_to_IPL_code(KERN_IMAGE_START);