Home
last modified time | relevance | path

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

/xen/xen/common/efi/
A Dboot.c1492 } *extra, *extra_head = NULL; in efi_init_memory() local
1581 extra->next = extra_head; in efi_init_memory()
1582 extra_head = extra; in efi_init_memory()
1626 while ( (extra = extra_head) != NULL ) in efi_init_memory()
1677 extra_head = extra->next; in efi_init_memory()

Completed in 5 milliseconds