No public description
PiperOrigin-RevId: 582763934
diff --git a/sim/kelvin_instructions.cc b/sim/kelvin_instructions.cc
index 4967a8d..39b59fb 100644
--- a/sim/kelvin_instructions.cc
+++ b/sim/kelvin_instructions.cc
@@ -116,10 +116,10 @@
// Handle Store instructions for mmap_uncached addresses
template <typename T>
void KelvinIStore(Instruction *inst) {
- uint32_t base = GetInstructionSource<uint32_t>(inst, 0);
- int32_t offset = GetInstructionSource<int32_t>(inst, 1);
+ uint32_t base = mpact::sim::generic::GetInstructionSource<uint32_t>(inst, 0);
+ int32_t offset = mpact::sim::generic::GetInstructionSource<int32_t>(inst, 1);
uint32_t address = base + offset;
- T value = GetInstructionSource<T>(inst, 2);
+ T value = mpact::sim::generic::GetInstructionSource<T>(inst, 2);
auto *state = static_cast<KelvinState *>(inst->state());
// Check and exclude the cache invalidation bit. However, the semihost tests
// use the memory space greater than the kelvin HW configuration and do not
