| 204 | } |
| 205 | |
| 206 | static int |
| 207 | get_ctrl(bool physical) |
| 208 | { |
| 209 | uint32_t val; |
| 210 | |
| 211 | if (physical) |
| 212 | val = get_el0(cntp_ctl); |
| 213 | else |
| 214 | val = get_el0(cntv_ctl); |
| 215 | |
| 216 | return (val); |
| 217 | } |
| 218 | |
| 219 | static void |
| 220 | setup_user_access(void *arg __unused) |
no outgoing calls
no test coverage detected