tools/kazoo/kernel_branches_output.cc

// 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.

#include "tools/kazoo/output_util.h"
#include "tools/kazoo/outputs.h"

bool KernelBranchesOutput(const SyscallLibrary& library, Writer* writer) {
  if (!CopyrightHeaderWithCppComments(writer)){
    return false;
  }

  writer->Puts("start_syscall_dispatch\n");
  for (const auto& syscall : library.syscalls()) {
    if (syscall->HasAttribute("Vdsocall")) {
      continue;
    }
    writer->Printf("syscall_dispatch %zu %s\n", syscall->num_kernel_args(),
                   syscall->name().c_str());
  }

  // TODO(syscall-fidl-transition): Original file has an extra \n, add one here
  // for consistency.
  writer->Puts("\n");

  return true;
}