From 8fced29978703981ad0380533cc18f7d59a9b64c Mon Sep 17 00:00:00 2001 From: Balazs Gerofi Date: Wed, 7 Dec 2016 11:25:02 +0900 Subject: [PATCH] page_fault_handler(): improved debug msg format --- kernel/mem.c | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/kernel/mem.c b/kernel/mem.c index 99208a5b..1e6dd678 100644 --- a/kernel/mem.c +++ b/kernel/mem.c @@ -806,8 +806,8 @@ static void page_fault_handler(void *fault_addr, uint64_t reason, void *regs) int error; set_cputime(interrupt_from_user(regs)? 1: 2); - dkprintf("[%d]page_fault_handler(%p,%lx,%p)\n", - ihk_mc_get_processor_id(), fault_addr, reason, regs); + dkprintf("%s: addr: %p, reason: %lx, regs: %p\n", + __FUNCTION__, fault_addr, reason, regs); preempt_disable(); @@ -862,9 +862,8 @@ static void page_fault_handler(void *fault_addr, uint64_t reason, void *regs) error = 0; preempt_enable(); out: - dkprintf("[%d]page_fault_handler(%p,%lx,%p): (%d)\n", - ihk_mc_get_processor_id(), fault_addr, reason, - regs, error); + dkprintf("%s: addr: %p, reason: %lx, regs: %p -> error: %d\n", + __FUNCTION__, fault_addr, reason, regs, error); check_need_resched(); set_cputime(0); return;