Set up user test procs, fixed formatting, added disable_irq in timer