// fbsdx64_common.c : support functions used by FreeBSD KMDs started by stage3 EXEC.
// Compatible with FreeBSD x64.
//
// (c) Ulf Frisk, 2016
// Author: Ulf Frisk, pcileech@frizk.net
//

#include "fbsdx64_common.h"