Symbol: vtimer_phys_tval_read
sys/arm64/vmm/io/vtimer.h
83
int vtimer_phys_tval_read(struct vcpu *vcpu, uint64_t *rval, void *arg);
sys/arm64/vmm/vmm.c
508
SPECIAL_REG(CNTP_TVAL_EL0, vtimer_phys_tval_read,