/*
 * Copyright (c) 2020 Intel Corporation.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
#ifndef MAIN_H
#define MAIN_H

__syscall void dump_my_ptables(void);

#include <syscalls/main.h>

#endif