#ifndef _ARCH_ACPI_H
#define _ARCH_ACPI_H

#include <stdint.h>

uintptr_t arch_get_rsdp(void);

#endif