linux/arch/x86/coco/tdx/tdx-shared.c

#include <asm/tdx.h>
#include <asm/pgtable.h>

static unsigned long try_accept_one(phys_addr_t start, unsigned long len,
				    enum pg_level pg_level)
{ … }

bool tdx_accept_memory(phys_addr_t start, phys_addr_t end)
{ … }

noinstr u64 __tdx_hypercall(struct tdx_module_args *args)
{ … }