Symbol: vtimer_phys_ctl_write
sys/arm64/vmm/io/vtimer.h
78
int vtimer_phys_ctl_write(struct vcpu *vcpu, uint64_t wval, void *arg);
sys/arm64/vmm/vmm.c
505
SPECIAL_REG(CNTP_CTL_EL0, vtimer_phys_ctl_read, vtimer_phys_ctl_write),