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

/freebsd-current/sys/arm64/arm64/
H A Didentcpu.c2043 get_kernel_reg(u_int reg, uint64_t *val) function

Completed in 68 milliseconds