Home
last modified time | relevance | path

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

/f-stack/freebsd/arm64/include/
H A Dcpu.h176 bool get_kernel_reg(u_int, uint64_t *);
/f-stack/freebsd/arm64/acpica/
H A Dacpi_machdep.c241 if (!get_kernel_reg(ID_AA64MMFR0_EL1, &mmfr0)) { in parse_pxm_tables()
/f-stack/freebsd/arm64/arm64/
H A Didentcpu.c1077 get_kernel_reg(u_int reg, uint64_t *val) in get_kernel_reg() function