cpu_debug.c

qnx powerpc MPC8245的 BSP源文件

/*
 * $QNXLicenseC: 
 * Copyright 2007, QNX Software Systems.  
 *  
 * Licensed under the Apache License, Version 2.0 (the "License"). You  
 * may not reproduce, modify or distribute this software except in  
 * compliance with the License. You may obtain a copy of the License  
 * at: http://www.apache.org/licenses/LICENSE-2.0  
 *  
 * Unless required by applicable law or agreed to in writing, software  
 * distributed under the License is distributed on an "AS IS" basis,  
 * WITHOUT WARRANTIES OF ANY KIND, either express or implied. 
 * 
 * This file may contain contributions from others, either as  
 * contributors under the License or as licensors under other terms.   
 * Please review this entire file for other proprietary rights or license  
 * notices, as well as the QNX Development Suite License Guide at  
 * http://licensing.qnx.com/license-guide/ for other information. 
 * $ 
 */

#include "startup.h"


void
print_ppc_boxinfo() {
	struct ppc_boxinfo_entry *box = lsp.cpu.ppc_boxinfo.p;

	kprintf("  hw_flags:%l\n", box->hw_flags );
}


void
print_ppc_kerinfo() {
	struct ppc_kerinfo_entry *ker = lsp.cpu.ppc_kerinfo.p;

	kprintf("  pretend_cpu:%l init_msr:%l, asid_bits:%l\n",
			ker->pretend_cpu,
			ker->init_msr,
			ker->asid_bits);
}

void
print_ppc_smpinfo() {
	struct ppc_smpinfo_entry *smp = lsp.cpu.ppc_smpinfo.p;

	kprintf("   mpu_start_addr:%l ipi_vector:%l\n",
			smp->mpu_start_addr,smp->ipi_vector);

}

void
print_ppc_tlbinfo() {
	struct ppc_tlbinfo_entry	*tlb = lsp.cpu.ppc_tlbinfo.p;
	unsigned					num = lsp.cpu.ppc_tlbinfo.size / sizeof(*tlb);
	unsigned					i;

	for(i = 0; i < num; ++i, ++tlb) {
		kprintf("   %d) num_entries:0x%l page_sizes:0x%l\n",
				i, tlb->num_entries, tlb->page_sizes);
	}
}