Searched refs:sev_es_efi_map_ghcbs (Results 1 – 3 of 3) sorted by relevance
341 extern int __init sev_es_efi_map_ghcbs(pgd_t *pgd);410 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()
1309 int __init sev_es_efi_map_ghcbs(pgd_t *pgd) in sev_es_efi_map_ghcbs() function