__FBSDID("$FreeBSD$");
#include "opt_isa.h"
#include "opt_kbd.h"
#include "opt_psm.h"
#include "opt_evdev.h"