Searched refs:EFI_MEMORY_CHANNEL_DEVICE_RECORD_NUMBER (Results 1 – 3 of 3) sorted by relevance
241 #define EFI_MEMORY_CHANNEL_DEVICE_RECORD_NUMBER 0x00000007 macro
887 EFI_MEMORY_CHANNEL_DEVICE_RECORD_NUMBER,
1403 #define EFI_MEMORY_CHANNEL_DEVICE_RECORD_NUMBER 0x00000007 macro