DBGP_EPADDR       337 arch/x86/kernel/early_printk.c 	addr = DBGP_EPADDR(devnum, endpoint);
DBGP_EPADDR       367 arch/x86/kernel/early_printk.c 	addr = DBGP_EPADDR(devnum, endpoint);
DBGP_EPADDR       409 arch/x86/kernel/early_printk.c 	addr = DBGP_EPADDR(devnum, 0);