// Copyright 2023 The Fuchsia Authors
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

#include <lib/uart/uart.h>
#include <lib/zbi-format/driver-config.h>

#include <cstdint>

#include <arch/defines.h>
#include <arch/x86/apic.h>
#include <ktl/optional.h>
#include <platform/uart.h>
#include <vm/physmap.h>

#include "memory.h"

volatile void* PlatformUartMapMmio(paddr_t paddr, size_t size) {
  volatile void* vaddr = paddr_to_physmap(paddr);
  mark_mmio_region_to_reserve(reinterpret_cast<vaddr_t>(vaddr), size);
  return vaddr;
}

PlatformUartIoProvider<zbi_dcfg_simple_pio_t, uart::IoRegisterType::kPio>::PlatformUartIoProvider(
    const zbi_dcfg_simple_pio_t& config, uint16_t io_slots)
    : Base(config, io_slots) {
  // Reserve pio.
  mark_pio_region_to_reserve(config.base, io_slots);
}

ktl::optional<uint32_t> PlatformUartGetIrqNumber(uint32_t irq_num) {
  if (irq_num == 0) {
    return ktl::nullopt;
  }
  return apic_io_isa_to_global(static_cast<uint8_t>(irq_num));
}