// Public nt-lite DDK platform declarations.

#pragma once

#include <stdint.h>
#include <ntlite/status.h>

__declspec(dllexport) uint32_t KePciReadConfig32(uint16_t segment, uint8_t bus, uint8_t device, uint8_t function, uint16_t offset);
__declspec(dllexport) void KePciWriteConfig32(uint16_t segment, uint8_t bus, uint8_t device, uint8_t function, uint16_t offset, uint32_t value);

// Returns a checksum-validated ACPI RSDP root, independent of its consumer.
// A firmware driver maps the physical tables using the DDK memory interface.
__declspec(dllexport) KSTATUS KeFirmwareQueryAcpiRsdp(uint64_t* physicalAddressOut);