#define EFI_SAL_PCI_CONFIG_READ 0x01000010\r
#define EFI_SAL_PCI_CONFIG_WRITE 0x01000011\r
#define EFI_SAL_FREQ_BASE 0x01000012\r
+#define EFI_SAL_PHYSICAL_ID_INFO 0x01000013\r
#define EFI_SAL_UPDATE_PAL 0x01000020\r
\r
#define EFI_SAL_FUNCTION_ID_MASK 0x0000ffff\r