Searched defs:vgic_v2_setup_hw (Results 1 – 2 of 2) sorted by relevance
37 void vgic_v2_setup_hw(paddr_t dbase, paddr_t cbase, paddr_t csize, in vgic_v2_setup_hw() function
50 void vgic_v2_setup_hw(paddr_t dbase, paddr_t cbase, paddr_t csize, in vgic_v2_setup_hw() function
Completed in 3 milliseconds