Lines Matching refs:addr
40 static inline uint32_t reg_read(uintptr_t addr)
43 switch (addr & 0x3000) {
57 printf("Invalid memory access: 0x%x\n", (uint32_t)addr);
61 if (addr & 0x3) {
62 printf("Unaligned memory access: 0x%x\n", (uint32_t)addr);
64 addr &= 0xfff;
65 addr /= 4;
66 return reg[addr];
69 static inline void reg_write(uintptr_t addr, uint32_t v)
72 switch (addr & 0x3000) {
86 printf("Invalid memory access: 0x%x\n", (uint32_t)addr);
90 if (addr & 0x3) {
91 printf("Unaligned memory access: 0x%x\n", (uint32_t)addr);
93 addr &= 0xfff;
94 addr /= 4;
95 reg[addr] = v;