Searched refs:reset_l0gptsz (Results 1 – 3 of 3) sorted by relevance
183 cpu->reset_l0gptsz = value - 30; in cpu_max_set_l0gptsz()196 uint32_t value = cpu->reset_l0gptsz + 30; in cpu_max_get_l0gptsz()
1056 uint8_t reset_l0gptsz; member
7502 env_archcpu(env)->reset_l0gptsz); in gpccr_reset()