Subversion Repositories c0or1k

/*
 * Basic debug information about the kernel
 *
 * Copyright (C) 2010 B Labs Ltd.
 *
 * Written by Bahadir Balban
 */
#include <l4/lib/printk.h>
#include <l4/generic/debug.h>
#include INC_SUBARCH(cpu.h)
#include <l4/generic/platform.h>
 
#if defined (CONFIG_DEBUG_ACCOUNTING)
 
struct system_accounting system_accounting;
 
void system_accounting_print(struct system_accounting *sys_acc)
{
	printk("System Operations Accounting:\n\n");
 
	printk("System calls:\n");
	printk("=============\n");
	printk("IPC: %llu\n", sys_acc->syscalls.ipc);
	printk("Thread Switch: %llu\n", sys_acc->syscalls.tswitch);
	printk("Thread Control: %llu\n", sys_acc->syscalls.tctrl);
	printk("Exchange Registers: %llu\n", sys_acc->syscalls.exregs);
	printk("Unmap: %llu\n", sys_acc->syscalls.unmap);
	printk("Irq Control: %llu\n", sys_acc->syscalls.irqctrl);
	printk("Map: %llu\n", sys_acc->syscalls.map);
	printk("Getid: %llu\n", sys_acc->syscalls.getid);
	printk("Capability Control: %llu\n", sys_acc->syscalls.capctrl);
	printk("Time: %llu\n", sys_acc->syscalls.time);
	printk("Mutex Control: %llu\n", sys_acc->syscalls.mutexctrl);
	printk("Cache Control: %llu\n", sys_acc->syscalls.cachectrl);
 
	printk("\nExceptions:\n");
	printk("===========\n");
	printk("System call: %llu\n", sys_acc->exceptions.syscall);
	printk("Data Abort: %llu\n", sys_acc->exceptions.data_abort);
	printk("Prefetch Abort: %llu\n", sys_acc->exceptions.prefetch_abort);
	printk("Irq: %llu\n", sys_acc->exceptions.irq);
	printk("Undef Abort: %llu\n", sys_acc->exceptions.undefined_abort);
	printk("Context Switch: %llu\n", sys_acc->task_ops.context_switch);
	printk("Space Switch: %llu\n", sys_acc->task_ops.space_switch);
 
	printk("\nCache operations:\n");
 
}
#endif
 
 
/*
 * For spinlock debugging
 */
#if defined (CONFIG_DEBUG_SPINLOCKS)
 
#include <l4/lib/bit.h>
 
#define DEBUG_SPINLOCK_TOTAL	10
 
DECLARE_PERCPU(static unsigned long, held_lock_array[DEBUG_SPINLOCK_TOTAL]);
DECLARE_PERCPU(static u32, held_lock_bitmap);
 
void spin_lock_record_check(void *lock_addr)
{
	int bit = 0;
 
	/*
	 * Check if we already hold this lock
	 */
	for (int i = 0; i < DEBUG_SPINLOCK_TOTAL; i++) {
		if (per_cpu(held_lock_array[i]) == (unsigned long)lock_addr) {
			print_early("Spinlock already held.\n");
			printk("lock_addr=%p\n", lock_addr);
			BUG();
		}
	}
 
	/*
	 * Add it as a new lock
	 */
	bit = find_and_set_first_free_bit(&per_cpu(held_lock_bitmap),
					  DEBUG_SPINLOCK_TOTAL);
	per_cpu(held_lock_array[bit]) = (unsigned long)lock_addr;
}
 
void spin_unlock_delete_check(void *lock_addr)
{
	/*
	 * Check if already unlocked
	 */
	if (*((unsigned int *)lock_addr) == 0) {
		print_early("Spinlock already unlocked.");
		BUG();
	}
 
	/*
	 * Search for the value
	 */
	for (int i = 0; i < DEBUG_SPINLOCK_TOTAL; i++) {
		if (per_cpu(held_lock_array[i]) == (unsigned long)lock_addr) {
			/*
			 * Delete its entry
			 */
			per_cpu(held_lock_array[i]) = 0;
			BUG_ON(check_and_clear_bit(&per_cpu(held_lock_bitmap),
						   i) < 0);
			return;
		}
	}
	/*
	 * It must have been recorded
	 */
	BUG();
}
 
#endif