#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_PCI_CONFIG_READ 0x01000010\r
#define EFI_SAL_PCI_CONFIG_WRITE 0x01000011\r
#define EFI_SAL_FREQ_BASE 0x01000012\r