src/boot/boot_asm.s

/*
 * tiny wrapper kmain.nsc needs -- nsc has no inline asm (same gap as
 * every other "needs a real instruction" driver in this kernel, see
 * io.s's own note) and no way to reference a raw assembler label from
 * another file directly, only through a real extern'd function (same
 * pattern paging_asm.s uses for pd, idt_asm.s uses for the isr
 * addresses).
 */
.section .text
.global get_start_info_ptr32
.type get_start_info_ptr32, @function
get_start_info_ptr32:
	movl start_info_ptr32(%rip), %eax
	ret
 
.global get_bios_boot_flag
.type get_bios_boot_flag, @function
get_bios_boot_flag:
	movl bios_boot_flag(%rip), %eax
	ret
 
.global get_bios_e820_ptr32
.type get_bios_e820_ptr32, @function
get_bios_e820_ptr32:
	movl bios_e820_ptr32(%rip), %eax
	ret
 
.global get_bios_e820_count32
.type get_bios_e820_count32, @function
get_bios_e820_count32:
	movl bios_e820_count32(%rip), %eax
	ret