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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c1111 int vm_install_vgic(vm_t *vm) function

Completed in 46 milliseconds