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

/barrelfish-master/usr/acpi/
H A Dacpi_shared.h60 errval_t acpi_arch_skb_set_info(void);
H A Dacpi_main.c55 return acpi_arch_skb_set_info();
/barrelfish-master/usr/acpi/arch/armv8/
H A Dacpi_arch.c80 errval_t acpi_arch_skb_set_info(void) function
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpi_arch.c115 errval_t acpi_arch_skb_set_info(void) function

Completed in 36 milliseconds