vgic_v3_setup_hw (definition) in projects: xen

Searched defs:vgic_v3_setup_hw (Results 1 – 2 of 2) sorted by relevance

/xen/xen/arch/arm/vgic/
A D	vgic.c	`961 void vgic_v3_setup_hw(paddr_t dbase, in vgic_v3_setup_hw() function`
/xen/xen/arch/arm/
A D	vgic-v3.c	`64 void vgic_v3_setup_hw(paddr_t dbase, in vgic_v3_setup_hw() function`

Completed in 8 milliseconds