27 "   .short 0xaa55\n"
29 "   .byte 0xcb\n" /* far return without prefix */
30 "   .org 0x18\n"
31 "   .short 0\n"
35 "   .byte 0x01\n"
37 "   .short 0x0000\n"
38 "   .byte 0x00\n"
39 "   .byte 0x00\n"
40 "   .long 0x00000000\n"
43 "   .long 0x00000000\n"
44 "   .short 0x0000\n"
45 "   .short 0x0000\n"
47 "   .short 0x0000\n"
48 "   .short 0x0000\n"
54 "   .align 4, 0\n"
72     asm("movl %0, %%es" : : "r"(seg));  in set_es()
78     asm(ADDR32 "movw %%es:(%1), %0" : "=r"(val) : "r"((uint32_t)offset));  in readw_es()
86     asm(ADDR32 "movl %%es:(%1), %0" : "=r"(val) : "r"((uint32_t)offset));  in readl_es()
94     asm(ADDR32 "movl %0, %%es:(%1)" : : "r"(val), "r"((uint32_t)offset));  in writel_es()
103     asm("int $0x15\n"  in get_e801_addr()
105         : "a"(0xe801), "b"(0), "c"(0), "d"(0));  in get_e801_addr()
107     /* Not SeaBIOS, but in theory a BIOS could return CX=DX=0 in which  in get_e801_addr()
110     if (cx == 0 && dx == 0) {  in get_e801_addr()
156     /* For protocol < 0x203 we don't have initrd_max ... */  in load_kernel()
157     if (readw_es(0x206) < 0x203) {  in load_kernel()
158         /* ... so we assume initrd_max = 0x37ffffff. */  in load_kernel()
159         writel_es(0x22c, 0x37ffffff);  in load_kernel()
166     max_allowed_page = (readl_es(0x22c) & -4096);  in load_kernel()
168     if (initrd_end_page != 0 && max_allowed_page != 0 &&  in load_kernel()
174         writel_es(0x218, (uint32_t)initrd_addr);  in load_kernel()
201         "addw $0x20, %%ax\n"  in load_kernel()
203         "pushw $0\n" /* IP */  in load_kernel()