Searched refs:sev_es_efi_map_ghcbs (Results 1 – 3 of 3) sorted by relevance
83 extern int __init sev_es_efi_map_ghcbs(pgd_t *pgd);89 static inline int sev_es_efi_map_ghcbs(pgd_t *pgd) { return 0; } in sev_es_efi_map_ghcbs() function
217 if (sev_es_efi_map_ghcbs(pgd)) { in efi_setup_page_tables()
628 int __init sev_es_efi_map_ghcbs(pgd_t *pgd) in sev_es_efi_map_ghcbs() function