| |
| typedef __builtin_msr_t msr_t; |
| |
| static msr_t rdmsr(unsigned long index) |
| { |
| return __builtin_rdmsr(index); |
| } |
| |
| static void uart_tx_byte(unsigned char data) |
| { |
| while(!(__builtin_inb(0x3f8 + 0x05) & 0x20)) |
| ; |
| __builtin_outb(data, 0x3f8 + 0x00); |
| |
| while(!(__builtin_inb(0x3f8 + 0x05) & 0x40)) |
| ; |
| } |
| |
| |
| static void print_nibble(unsigned nibble) |
| { |
| unsigned char digit; |
| digit = nibble + '0'; |
| if (digit > '9') { |
| digit += 39; |
| } |
| uart_tx_byte(digit); |
| } |
| |
| static void print_debug_hex32(unsigned int value) |
| { |
| print_nibble((value >> 28U) & 0x0fU); |
| print_nibble((value >> 24U) & 0x0fU); |
| print_nibble((value >> 20U) & 0x0fU); |
| print_nibble((value >> 16U) & 0x0fU); |
| print_nibble((value >> 12U) & 0x0fU); |
| print_nibble((value >> 8U) & 0x0fU); |
| print_nibble((value >> 4U) & 0x0fU); |
| print_nibble(value & 0x0fU); |
| } |
| |
| static void print_debug(const char *str) |
| { |
| unsigned char ch; |
| while((ch = *str++) != '\0') { |
| uart_tx_byte(ch); |
| } |
| } |
| |
| static void main(void) |
| { |
| unsigned long start, stop; |
| msr_t msr; |
| msr = rdmsr(0xC001001A); |
| print_debug("TOP_MEM: "); |
| print_debug_hex32(msr.hi); |
| print_debug_hex32(msr.lo); |
| print_debug("\r\n"); |
| |
| start = 0; |
| stop = msr.lo; |
| print_debug("Testing DRAM : "); |
| print_debug_hex32(start); |
| print_debug("-"); |
| print_debug_hex32(stop); |
| print_debug("\r\n"); |
| |
| print_debug("DRAM verify: "); |
| print_debug_hex32(start); |
| print_debug_hex32(stop); |
| } |