x86_64_ap_init.h

Go to the documentation of this file.

 
#ifndef __X86_64_AP_INIT_H__
#define __X86_64_AP_INIT_H__
 
 
/*
* x86_64_ap_init -- application processor initialisation
* sequence
* @param cpu -- pointer to cpu data structure
*/
extern void x86_64_ap_init(void* cpu);
 
#endif