Searched refs:handle_l1_dte (Results 1 – 1 of 1) sorted by relevance
2216 static int handle_l1_dte(struct vgic_its *its, u32 id, void *addr, in handle_l1_dte() function2259 handle_l1_dte, NULL); in vgic_its_restore_device_tables()