1*4ef6ea38SJohn Baldwin /*- 2*4ef6ea38SJohn Baldwin * This file is in the public domain. 3*4ef6ea38SJohn Baldwin */ 4*4ef6ea38SJohn Baldwin #include <machine/npx.h> 5