DebugPort
ACPI_GENERIC_ADDRESS DebugPort;
add_debugger_command("ufs_port", DebugPort,
remove_debugger_command("ufs_port", DebugPort);
static int DebugPort(int argc, char** argv);