Home
last modified time | relevance | path

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

/freebsd/sys/arm64/arm64/
H A Didentcpu.c87 static uint64_t update_special_reg_field(uint64_t user_reg, u_int type,
2578 update_special_reg_field(uint64_t user_reg, u_int type, uint64_t value, in update_special_reg_field() argument
2584 cur = user_reg & mask; in update_special_reg_field()
2613 user_reg &= ~mask; in update_special_reg_field()
2614 user_reg |= cur; in update_special_reg_field()
2616 return (user_reg); in update_special_reg_field()