d4d78e9c61
This includes the following fixes: * fix build of arch/arm64/kernel/vdso Change-Id: I73b05034d29f7f8731ac17f9736edbba4fb2c639
23 lines
570 B
C
23 lines
570 B
C
/* eclair.h COPYRIGHT FUJITSU LIMITED 2016 */
|
|
|
|
#ifndef HEADER_USER_COMMON_ECLAIR_H
|
|
#define HEADER_USER_COMMON_ECLAIR_H
|
|
|
|
#include "../config.h"
|
|
#include <stdio.h>
|
|
#include <inttypes.h>
|
|
#include <arch-eclair.h>
|
|
|
|
/* common */
|
|
uintptr_t lookup_symbol(char *name);
|
|
ssize_t print_bin(char *buf, size_t buf_size, void *data, size_t size);
|
|
|
|
/* arch depend */
|
|
int print_kregs(char *rbp, size_t rbp_size, const struct arch_kregs *kregs);
|
|
|
|
#ifdef POSTK_DEBUG_ARCH_DEP_34
|
|
#define NOPHYS ((uintptr_t)-1)
|
|
#endif /* POSTK_DEBUG_ARCH_DEP_34 */
|
|
|
|
#endif /* HEADER_USER_COMMON_ECLAIR_H */
|