Home
last modified time | relevance | path

Searched refs:vmi_init (Results 1 – 3 of 3) sorted by relevance

/arch/x86/include/asm/
Dvmi.h192 char vmi_init[8]; /* VMI_Init jump point */ member
227 extern void vmi_init(void);
231 static inline void vmi_init(void) {} in vmi_init() function
/arch/x86/kernel/
Dvmi_32.c642 if (call_vrom_func(vmi_rom, vmi_init) != 0) { in activate_vmi()
853 void __init vmi_init(void) in vmi_init() function
Dsetup.c665 vmi_init(); in setup_arch()