x86_acpi_osal.h File Reference

#include <zephyr/arch/x86/efi.h>
#include <zephyr/arch/x86/legacy_bios.h>

Go to the source code of this file.

Functions
static void *	acpi_rsdp_get (void)
static uint64_t	acpi_timer_get (void)

Function Documentation

acpi_rsdp_get()

static void * acpi_rsdp_get ( void  )

inlinestatic

acpi_timer_get()

static uint64_t acpi_timer_get ( void  )

inlinestatic