Home
last modified time | relevance | path

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

/freebsd/sys/arm64/include/
H A Dcpu.h288 void get_kernel_reg_iss_masked(u_int, uint64_t *, uint64_t);
290 get_kernel_reg_iss_masked(reg ## _ISS, valp, mask)
/freebsd/sys/arm64/vmm/
H A Dvmm.c157 get_kernel_reg_iss_masked(reg ## _ISS, &regs->field, \ in vmm_regs_init()
/freebsd/sys/arm64/arm64/
H A Didentcpu.c2537 get_kernel_reg_iss_masked(u_int iss, uint64_t *valp, uint64_t mask) in get_kernel_reg_iss_masked() function