%L[123]pte are loaded calling ldq_le_phys() which returns
a uint64_t. %pt is loaded with @ptbr, declared as uint64_t
in target/alpha/cpu.h:
236 uint64_t ptbr;
%index is at most 1024 so can fit in uint16_t.
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-ID: <
20260202234550.34156-6-philmd@linaro.org>
CPUState *cs = env_cpu(env);
target_long saddr = addr;
target_ulong phys = 0;
- target_ulong L1pte, L2pte, L3pte;
- target_ulong pt, index;
+ uint64_t L1pte, L2pte, L3pte;
+ uint64_t pt;
+ uint16_t index;
int prot = 0;
int ret = MM_K_ACV;
MemTxResult txres;