|
ppc64-diag
|
#include <stdlib.h>#include <stdio.h>#include <string.h>#include <getopt.h>#include <sys/types.h>#include <sys/stat.h>#include <unistd.h>#include <stdint.h>#include <dirent.h>#include <fcntl.h>#include "platform.c"Macros | |
| #define | MAX_IRQ_SERVERS_PER_CPU 16 |
Functions | |
| int | cpu_interruptserver_to_drcindex (uint32_t, uint32_t *) |
| int | cpu_drcindex_to_drcname (uint32_t, char *, int) |
| int | cpu_drcindex_to_interruptserver (uint32_t, uint32_t *, int) |
| int | cpu_drcname_to_drcindex (char *, uint32_t *) |
| void | print_usage (char *command) |
| static int | mem_drcindex_to_drcname (uint32_t drc_idx, char *drc_name, int buf_size) |
| converts drcindex of mem type to drcname More... | |
| int | main (int argc, char *argv[]) |
Variables | |
| static struct option | long_options [] |
Copyright (C) 2005 IBM Corporation
This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
| #define MAX_IRQ_SERVERS_PER_CPU 16 |
Referenced by main().
| int cpu_drcindex_to_drcname | ( | uint32_t | drc_idx, |
| char * | drc_name, | ||
| int | buf_size | ||
| ) |
Referenced by main().
| int cpu_drcindex_to_interruptserver | ( | uint32_t | drc_idx, |
| uint32_t * | int_servs, | ||
| int | array_elements | ||
| ) |
Referenced by main().
| int cpu_drcname_to_drcindex | ( | char * | drc_name, |
| uint32_t * | drc_idx | ||
| ) |
Referenced by main().
| int cpu_interruptserver_to_drcindex | ( | uint32_t | int_serv, |
| uint32_t * | drc_idx | ||
| ) |
Referenced by main().
| int main | ( | int | argc, |
| char * | argv[] | ||
| ) |
|
static |
mem_drcindex_to_drcname
| drc_idx | - drc index whose drc name is to be found. |
| drc_name | - buffer for drc_name |
| buf_size | - size of buffer. |
Referenced by main().
| void print_usage | ( | char * | command | ) |
Referenced by main().
|
static |
Referenced by main().
1.8.13