portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Surrounding benchmarking definitions with "#if CONFIG_MAX_NUM_TRACE_POINTS > 0".

Browse source
This commit is contained in:
Stephen Sherratt 2015-09-08 12:13:58 +10:00
parent e82953a194
commit 4b3ac0e8e7
5 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/arch/arm/arch/api/constants.h
View file

@ -11,6 +11,8 @@
#ifndef __ARCH_API_CONSTANTS_H
#define __ARCH_API_CONSTANTS_H
#if CONFIG_MAX_NUM_TRACE_POINTS > 0
#define seL4_LogBufferSize (1<<20)
#endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
#endif

2
include/arch/x86/arch/api/constants.h
View file

@ -11,6 +11,8 @@
#ifndef __ARCH_API_CONSTANTS_H
#define __ARCH_API_CONSTANTS_H
#if CONFIG_MAX_NUM_TRACE_POINTS > 0
#define seL4_LogBufferSize (BIT(LARGE_PAGE_BITS))
#endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
#endif

2
libsel4/arch_include/arm/sel4/arch/constants.h
View file

@ -13,7 +13,9 @@
#include <sel4/arch/objecttype.h>
#if CONFIG_MAX_NUM_TRACE_POINTS > 0
/* size of kernel log buffer in bytes */
#define seL4_LogBufferSize (1<<20)
#endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
#endif

2
libsel4/arch_include/x86/sel4/arch/constants.h
View file

@ -41,7 +41,9 @@
#define MSI_MAX 0x1d
#endif
#if CONFIG_MAX_NUM_TRACE_POINTS > 0
/* size of kernel log buffer in bytes */
#define seL4_LogBufferSize (BIT(seL4_LargePageBits))
#endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
#endif

2
libsel4/include/sel4/types.h
View file

@ -71,10 +71,12 @@ typedef seL4_CPtr seL4_DomainSet;
#define seL4_NilData seL4_CapData_Badge_new(0)
#if CONFIG_MAX_NUM_TRACE_POINTS > 0
typedef struct {
seL4_Word key;
seL4_Word data;
} seL4_LogEntry;
#endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
#include <sel4/arch/constants.h>