Home
last modified time | relevance | path

Searched refs:vtimer_phys_ctl_read (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/arm64/vmm/io/
H A Dvtimer.h77 int vtimer_phys_ctl_read(struct vcpu *vcpu, uint64_t *rval, void *arg);
H A Dvtimer.c382 vtimer_phys_ctl_read(struct vcpu *vcpu, uint64_t *rval, void *arg) in vtimer_phys_ctl_read() function
/freebsd/sys/arm64/vmm/
H A Dvmm.c506 SPECIAL_REG(CNTP_CTL_EL0, vtimer_phys_ctl_read, vtimer_phys_ctl_write),