Searched refs:ve_efi_init (Results 1 – 3 of 3) sorted by relevance
45 void ve_efi_init(void);
36 ve_efi_init(void) in ve_efi_init() function
1146 ve_efi_init(); in main()