Searched refs:acpi_table_address (Results 1 – 1 of 1) sorted by relevance

/devicemodel/core/
A D	sw_load_vsbl.c	92 uint64_t acpi_table_address; member 260 vsbl_para->acpi_table_address = get_acpi_base(); in acrn_sw_load_vsbl()

Completed in 5 milliseconds

Last Index update Fri Aug 22 02:31:50 CST 2025