board_staging_gic_setup_xlate   91 drivers/staging/board/armadillo800eva.c 	board_staging_gic_setup_xlate("arm,pl390", 32);
board_staging_gic_setup_xlate   28 drivers/staging/board/board.h int board_staging_gic_setup_xlate(const char *gic_match, unsigned int base);
board_staging_gic_setup_xlate   15 drivers/staging/board/kzm9d.c 	board_staging_gic_setup_xlate("arm,pl390", 32);