/**
- * Set the hardware reset parameter block system type and revision information
- * to Tsunami.
+ * Set the hardware reset parameter block system type and revision
+ * information to Tsunami.
*/
if (consoleSymtab->findAddress("xxm_rpb", addr)) {
Addr paddr = vtophys(physmem, addr);
char *hwprb = (char *)physmem->dma_addr(paddr, sizeof(uint64_t));
if (hwprb) {
- *(uint64_t*)(hwprb+0x50) = htoa(ULL(34)); // Tsunami
- *(uint64_t*)(hwprb+0x58) = htoa(ULL(1)<<10); // Plain DP264
+ // Tsunami
+ *(uint64_t*)(hwprb + 0x50) = htoa(ULL(34));
+
+ // Plain DP264
+ *(uint64_t*)(hwprb + 0x58) = htoa(ULL(1) << 10);
}
else
panic("could not translate hwprb addr to set system type/variation\n");
#include <inttypes.h>
/** uint64_t constant */
-#define ULL(N) N##ULL
+#define ULL(N) ((uint64_t)N##ULL)
/** int64_t constant */
-#define LL(N) N##LL
+#define LL(N) (((int64_t)N##LL)
/** Statistics counter type. Not much excuse for not using a 64-bit
* integer here, but if you're desperate and only run short