Searched refs:iapc_boot_arch_8042 (Results 1 – 3 of 3) sorted by relevance
103 static inline uint16_t iapc_boot_arch_8042(void) in iapc_boot_arch_8042() function
185 .iapc_boot_arch = iapc_boot_arch_8042(), in acpi_build_microvm()
190 fadt.iapc_boot_arch = iapc_boot_arch_8042(); in init_common_fadt_data()