Searched refs:vtimer_init (Results 1 – 3 of 3) sorted by relevance
| /src/sys/arm64/vmm/io/ | ||
| H A D | vtimer.h | 69 int vtimer_init(void); |
| H A D | vtimer.c | 123 vtimer_init(void) in vtimer_init() function |
| /src/sys/arm64/vmm/ | ||
| H A D | vmm_arm64.c | 444 vtimer_init(); in vmmops_modinit() |