Searched defs:get_kernel_reg (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/sys/arm64/arm64/
H A Didentcpu.c1077 get_kernel_reg(u_int reg, uint64_t *val) function

Completed in 52 milliseconds