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

/xen/xen/common/efi/
A D	efi.h	20 extern unsigned int efi_num_ct;
A D	runtime.c	38 unsigned int __read_mostly efi_num_ct; variable 232 info->cfg.nent = efi_num_ct; in efi_get_info()
A D	boot.c	739 efi_num_ct = SystemTable->NumberOfTableEntries; in efi_init() 856 for ( i = 0; i < efi_num_ct; ++i ) in efi_tables()

Completed in 6 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025