Home
last modified time | relevance | path

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

/xen/tools/libxc/
A Dxc_dom_core.c1043 unsigned long first_high_idx = 4UL << (30 - PAGE_SHIFT); /* 4GB */ in populate_acpi_pages() local
1054 if ( idx == first_high_idx ) in populate_acpi_pages()

Completed in 5 milliseconds