#include <machine/asm.h>
__FBSDID("$FreeBSD$");
.section init
.section fini