Searched defs:_platform (Results 1 - 1 of 1) sorted by relevance

/gem5/src/dev/arm/
H A Dbase_gic.cc123 ArmInterruptPin( Platform *_platform, ThreadContext *tc, uint32_t int_num) argument
148 ArmSPI( Platform *_platform, uint32_t int_num) argument
166 ArmPPI( Platform *_platform, ThreadContext *tc, uint32_t int_num) argument

Completed in 4 milliseconds