1#ifndef _ASM_X86_UNACCEPTED_MEMORY_H 2#define _ASM_X86_UNACCEPTED_MEMORY_H 3 4#include <linux/efi.h> 5#include <asm/tdx.h> 6#include <asm/sev.h> 7 8static inline void arch_accept_memory(phys_addr_t start, phys_addr_t end) 9{ 10 /* Platform-specific memory-acceptance call goes here */ 11 if (cpu_feature_enabled(X86_FEATURE_TDX_GUEST)) { 12 if (!tdx_accept_memory(start, end)) 13 panic("TDX: Failed to accept memory\n"); 14 } else if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP)) { 15 snp_accept_memory(start, end); 16 } else { 17 panic("Cannot accept memory: unknown platform\n"); 18 } 19} 20 21static inline struct efi_unaccepted_memory *efi_get_unaccepted_table(void) 22{ 23 if (efi.unaccepted == EFI_INVALID_TABLE_ADDR) 24 return NULL; 25 return __va(efi.unaccepted); 26} 27#endif 28