Rodrigo Arias
6aff4388eb
When the thread is not running on the CPU it shouldn't be able to emit events. A new emulation test ensures the emulation fails if it happens.
19 lines
357 B
C
19 lines
357 B
C
/* Copyright (c) 2024 Barcelona Supercomputing Center (BSC)
|
|
* SPDX-License-Identifier: GPL-3.0-or-later */
|
|
|
|
#ifndef INSTR_KERNEL_H
|
|
#define INSTR_KERNEL_H
|
|
|
|
#include "instr.h"
|
|
|
|
static inline void
|
|
instr_kernel_init(void)
|
|
{
|
|
instr_require("kernel");
|
|
}
|
|
|
|
INSTR_0ARG(instr_kernel_cs_out, "KCO")
|
|
INSTR_0ARG(instr_kernel_cs_in, "KCI")
|
|
|
|
#endif /* INSTR_KERNEL_H */
|