Searched refs:armv_vcpu_boot_init (Results 1 - 2 of 2) sorted by relevance
/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/64/armv/ | ||
H A D | vcpu.h | 668 armv_vcpu_boot_init(void) function |
/seL4-mcs-10.1.1/src/arch/arm/object/ | ||
H A D | vcpu.c | 233 armv_vcpu_boot_init(); |
Completed in 80 milliseconds