Searched refs:setGICAddr (Results 1 – 3 of 3) sorted by relevance
21 setGICAddr((void*)0x2C001000, (void*)0x2C002000); in hw_setup()
47 void setGICAddr(void* dist, void* cpu);
61 void setGICAddr(void* dist, void* cpu) in setGICAddr() function
