Re: [PATCH 1/7] ddb/db_mp.c: include kd.h for kdb_kintr()

[Guillem Jover]

On Fri, 2013-11-22 at 18:30:34 +0100, Marin Ramesa wrote:
> diff --git a/ddb/db_mp.c b/ddb/db_mp.c
> index 3ab00ce..831381f 100644
> --- a/ddb/db_mp.c
> +++ b/ddb/db_mp.c
> @@ -36,6 +36,8 @@
>  
>  #include <machine/db_machdep.h>
>  
> +#include <i386at/kd.h>
> +
>  #include <ddb/db_command.h>
>  #include <ddb/db_run.h>

I don't think it's appropriate to include stuff from the <i386at/*>
namespace from ddb/.

Thanks,
Guillem