Searched refs:acpi_arch_video_init (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/acpi/
H A Dacpi_shared.h59 void acpi_arch_video_init(void);
H A Dacpi_main.c189 acpi_arch_video_init();
/barrelfish-master/usr/acpi/arch/armv8/
H A Dacpi_arch.c75 void acpi_arch_video_init(void) function
/barrelfish-master/usr/acpi/arch/x86/
H A Dvideo.c91 void acpi_arch_video_init(void) function

Completed in 41 milliseconds