path: root/src/kernel/arch/amd64/acpi.h

#pragma once

void acpi_parse(const void *rsdp);
void hpet_init(void *base);