head64.c File Reference

#include <linux/init.h>
#include <linux/linkage.h>
#include <linux/types.h>
#include <linux/kernel.h>
#include <linux/string.h>
#include <linux/percpu.h>
#include <linux/start_kernel.h>
#include <linux/io.h>
#include <linux/memblock.h>
#include <asm/processor.h>
#include <asm/proto.h>
#include <asm/smp.h>
#include <asm/setup.h>
#include <asm/desc.h>
#include <asm/pgtable.h>
#include <asm/tlbflush.h>
#include <asm/sections.h>
#include <asm/kdebug.h>
#include <asm/e820.h>
#include <asm/bios_ebda.h>

Go to the source code of this file.

Functions
void __init	x86_64_start_kernel (char *real_mode_data)
void __init	x86_64_start_reservations (char *real_mode_data)

Function Documentation

void __init x86_64_start_kernel

(

char *

real_mode_data

)

Definition at line 55 of file head64.c.

void __init x86_64_start_reservations

(

char *

real_mode_data

)

Definition at line 96 of file head64.c.