zircon/kernel/arch/x86/page_tables/BUILD.gn

# Copyright 2019 The Fuchsia Authors. All rights reserved.
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE file.

library("page_tables") {
  kernel = true
  sources = [
    "page_tables.cpp",
  ]
  deps = [
    "$zx/kernel/lib/fbl",
  ]
  public_deps = [
    # <arch/x86/page_tables/page_tables.h> has #include <hwreg/bitfields.h>.
    "$zx/system/ulib/hwreg:headers",
  ]
}