# ##############################################################################
# arch/x86_64/src/common/CMakeLists.txt
#
# SPDX-License-Identifier: Apache-2.0
#
# Licensed to the Apache Software Foundation (ASF) under one or more contributor
# license agreements.  See the NOTICE file distributed with this work for
# additional information regarding copyright ownership.  The ASF licenses this
# file to you under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License.  You may obtain a copy of
# the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.  See the
# License for the specific language governing permissions and limitations under
# the License.
#
# ##############################################################################

set(SRCS
    x86_64_allocateheap.c
    x86_64_copystate.c
    x86_64_exit.c
    x86_64_getintstack.c
    x86_64_initialize.c
    x86_64_modifyreg8.c
    x86_64_modifyreg16.c
    x86_64_modifyreg32.c
    x86_64_nputs.c
    x86_64_switchcontext.c
    x86_64_tcbinfo.c
    x86_64_tlb.c)

if(CONFIG_ARCH_HAVE_FORK)
  list(APPEND SRCS x86_64_fork.c fork.S)
endif()

if(CONFIG_LIB_SYSCALL)
  list(APPEND SRCS x86_64_syscall.c)
endif()

if(CONFIG_PCI)
  list(APPEND SRCS x86_64_pci.c)
endif()

if(CONFIG_ARCH_X86_64_ACPI)
  list(APPEND SRCS x86_64_acpi.c)
endif()

if(CONFIG_SCHED_THREAD_LOCAL)
  list(APPEND SRCS x86_64_tls.c)
endif()

if(CONFIG_ARCH_USE_MMU)
  list(APPEND SRCS x86_64_mmu.c)
endif()

if(CONFIG_ARCH_ADDRENV)
  list(APPEND SRCS x86_64_addrenv.c x86_64_pgalloc.c x86_64_addrenv_perms.c)
endif()

if(NOT CONFIG_BUILD_FLAT)
  list(APPEND SRCS x86_64_task_start.c x86_64_pthread_start.c
       x86_64_signal_dispatch.c)
endif()

if(NOT CONFIG_ALARM_ARCH)
  list(APPEND SRCS x86_64_udelay.c x86_64_mdelay.c)
endif()

if(CONFIG_ARCH_KERNEL_STACK)
  list(APPEND SRCS x86_64_addrenv_kstack.c)
endif()

if(NOT CONFIG_BUILD_FLAT)
  list(APPEND SRCS x86_64_task_start.c x86_64_pthread_start.c
       x86_64_signal_dispatch.c)
endif()

if(CONFIG_ARCH_HAVE_DEBUG)
  list(APPEND SRCS x86_64_hwdebug.c)
endif()

target_sources(arch PRIVATE ${SRCS})
