Fix the debugging output - the '0x' was duplicated from the %p option.

This commit is contained in:
adrian 2008-03-18 08:36:19 +00:00
parent 4e9b2a2931
commit 26e3101bd9

View File

@ -683,7 +683,7 @@ amd_intr(int cpu, struct trapframe *tf)
KASSERT(cpu >= 0 && cpu < mp_ncpus,
("[amd,%d] out of range CPU %d", __LINE__, cpu));
PMCDBG(MDP,INT,1, "cpu=%d tf=0x%p um=%d", cpu, (void *) tf,
PMCDBG(MDP,INT,1, "cpu=%d tf=%p um=%d", cpu, (void *) tf,
TRAPF_USERMODE(tf));
retval = 0;