SFI_SYST_SEARCH_BEGIN  346 drivers/sfi/sfi_core.c 	len = SFI_SYST_SEARCH_END - SFI_SYST_SEARCH_BEGIN;
SFI_SYST_SEARCH_BEGIN  347 drivers/sfi/sfi_core.c 	start = sfi_map_memory(SFI_SYST_SEARCH_BEGIN, len);
SFI_SYST_SEARCH_BEGIN  362 drivers/sfi/sfi_core.c 		sfi_print_table_header(SFI_SYST_SEARCH_BEGIN + offset,
SFI_SYST_SEARCH_BEGIN  378 drivers/sfi/sfi_core.c 		syst_pa = SFI_SYST_SEARCH_BEGIN + offset;