Symbol: _VMM_VTIMER_H_
sys/arm64/vmm/io/vtimer.h
32
#define _VMM_VTIMER_H_
sys/riscv/vmm/vmm_vtimer.h
34
#define _VMM_VTIMER_H_