Searched refs:ve_efi_init (Results 1 – 3 of 3) sorted by relevance
34 ve_efi_init(void) in ve_efi_init() function
48 void ve_efi_init(void);
1479 ve_efi_init(); in main()