Home
last modified time | relevance | path

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

/freebsd-13.1/sys/libkern/
H A Dgsb_crc32.c770 if (get_kernel_reg(ID_AA64ISAR0_EL1, &reg)) {
/freebsd-13.1/sys/arm64/include/
H A Dcpu.h178 bool get_kernel_reg(u_int, uint64_t *);
/freebsd-13.1/sys/arm64/acpica/
H A Dacpi_machdep.c241 if (!get_kernel_reg(ID_AA64MMFR0_EL1, &mmfr0)) { in parse_pxm_tables()
/freebsd-13.1/sys/arm64/arm64/
H A Didentcpu.c1534 get_kernel_reg(u_int reg, uint64_t *val) in get_kernel_reg() function