#include <kapi/devices/cpu.hpp>

#include <kapi/devices.hpp>

#include <kstd/format.hpp>

#include <cstdint>

namespace kapi::devices
{

  cpu::core::core(std::uint64_t index, std::uint64_t hardware_id, bool is_bsp)
      : kapi::devices::bus{kstd::format("cpu_core{}", index)}
      , m_index{index}
      , m_hardware_id{hardware_id}
      , m_is_bsp{is_bsp}
  {}

  auto cpu::core::index() const noexcept -> std::uint64_t
  {
    return m_index;
  }

  auto cpu::core::hardware_id() const -> std::uint64_t
  {
    return m_hardware_id;
  }

  auto cpu::core::is_bsp() const -> bool
  {
    return m_is_bsp;
  }

  cpu::cpu()
      : kapi::devices::bus{"cpu"}
  {}

}  // namespace kapi::devices