use crate::{sdt::SdtHeader, Acpi, AcpiError, GenericAddress, PhysicalMapping};
use bit_field::BitField;

#[derive(Debug)]
pub enum PageProtection {
    None,
    /// Access to the adjacent 3KB to the base address will not generate a fault.
    Protected4K,
    /// Access to the adjacent 64KB to the base address will not generate a fault.
    Protected64K,
    Other,
}

/// Information about the High Precision Event Timer
#[derive(Debug)]
pub struct HpetInfo {
    event_timer_block_id: u32,
    base_address: usize,
    hpet_number: u8,
    /// The minimum number of clock ticks that can be set without losing interrupts (for timers in
    /// Periodic Mode)
    clock_tick_unit: u16,
    page_protection: PageProtection,
}

#[repr(C, packed)]
pub(crate) struct HpetTable {
    header: SdtHeader,
    event_timer_block_id: u32,
    base_address: GenericAddress,
    hpet_number: u8,
    clock_tick_unit: u16,
    page_protection_oem: u8,
}

pub(crate) fn parse_hpet(acpi: &mut Acpi, mapping: &PhysicalMapping<HpetTable>) -> Result<(), AcpiError> {
    (*mapping).header.validate(crate::sdt::Signature::HPET)?;
    let hpet = &*mapping;

    // Make sure the HPET's in system memory
    assert_eq!(hpet.base_address.address_space, 0);

    acpi.hpet = Some(HpetInfo {
        event_timer_block_id: hpet.event_timer_block_id,
        base_address: hpet.base_address.address as usize,
        hpet_number: hpet.hpet_number,
        clock_tick_unit: hpet.clock_tick_unit,
        page_protection: match hpet.page_protection_oem.get_bits(0..5) {
            0 => PageProtection::None,
            1 => PageProtection::Protected4K,
            2 => PageProtection::Protected64K,
            3..=15 => PageProtection::Other,
            _ => unreachable!(),
        },
    });

    Ok(())
}