tdx_accept_memory
if (!tdx_accept_memory(start, end))
return tdx_accept_memory(start, end);
bool tdx_accept_memory(phys_addr_t start, phys_addr_t end);