Accurately (this is the catch) read a 64bit register value using a method that can read only 32bit at a time
Sigiloso
uint32_t read_context; memcpy(&read_context, (void *)(REGISTER_BASE_ADDR), 4); printf("Register MSW: %x \t", read_context, 0, 0, 0, 0, 0); memcpy(&read_context, (void *)(REGISTER_BASE_ADDR + 4), 4); printf("Register LSW: %x \t" , read_context, 0, 0, 0, 0, 0);