Searched refs:sev_es_efi_map_ghcbs (Results 1 – 3 of 3) sorted by relevance
157 extern int __init sev_es_efi_map_ghcbs(pgd_t *pgd);205 static inline int sev_es_efi_map_ghcbs(pgd_t *pgd) { return 0; } in sev_es_efi_map_ghcbs() function
218 if (sev_es_efi_map_ghcbs(pgd)) { in efi_setup_page_tables()
1187 int __init sev_es_efi_map_ghcbs(pgd_t *pgd) in sev_es_efi_map_ghcbs() function
Completed in 9 milliseconds