The NetBSD Foundation, Inc.  All rights reserved.
The Regents of the University of California.  All rights reserved.
No counter-timer -- using %tick at 500MHz as system clock.
IPsec: Initialized Security Association Processing.