properties_table   83 arch/x86/platform/efi/efi.c 	&efi.properties_table,
properties_table   50 drivers/firmware/efi/efi.c 	.properties_table	= EFI_INVALID_TABLE_ADDR,
properties_table  471 drivers/firmware/efi/efi.c 	{EFI_PROPERTIES_TABLE_GUID, "PROP", &efi.properties_table},
properties_table  571 drivers/firmware/efi/efi.c 	if (efi.properties_table != EFI_INVALID_TABLE_ADDR) {
properties_table  574 drivers/firmware/efi/efi.c 		tbl = early_memremap(efi.properties_table, sizeof(*tbl));
properties_table  997 include/linux/efi.h 	unsigned long properties_table;	/* properties table */