kernel/trace/rv/monitors/pagefault/pagefault.h

File Facts

System

Linux kernel

Corpus path

kernel/trace/rv/monitors/pagefault/pagefault.h

Extension

.h

Size

1335 bytes

Lines

65

Domain

Core OS

Bucket

Scheduler, Processes, Timers, Sync, And Syscalls

Inferred role

Core OS: implementation source

Status

source implementation candidate

Why This File Exists

Core operating-system implementation surface: boot, tasks, memory, VFS, syscall-facing interfaces, synchronization, credentials, and isolation.

• Core operating-system implementation surface: boot, tasks, memory, VFS, syscall-facing interfaces, synchronization, credentials, and isolation.
• Defines or uses C structs; map object ownership, embedded links, reference counts, and lock ownership.

Dependency Surface

• linux/rv.h

Detected Declarations

• enum ltl_atom
• enum ltl_buchi_state
• function ltl_start
• function ltl_possible_next_states

Annotated Snippet

#include <linux/rv.h>

#define MONITOR_NAME pagefault

enum ltl_atom {
	LTL_PAGEFAULT,
	LTL_RT,
	LTL_NUM_ATOM
};
static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);

static const char *ltl_atom_str(enum ltl_atom atom)
{
	static const char *const names[] = {
		"pa",
		"rt",
	};

	return names[atom];
}

enum ltl_buchi_state {
	S0,
	RV_NUM_BA_STATES
};
static_assert(RV_NUM_BA_STATES <= RV_MAX_BA_STATES);

static void ltl_start(struct task_struct *task, struct ltl_monitor *mon)
{
	bool pagefault = test_bit(LTL_PAGEFAULT, mon->atoms);
	bool val3 = !pagefault;
	bool rt = test_bit(LTL_RT, mon->atoms);
	bool val1 = !rt;
	bool val4 = val1 || val3;

	if (val4)
		__set_bit(S0, mon->states);
}

static void
ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next)
{
	bool pagefault = test_bit(LTL_PAGEFAULT, mon->atoms);
	bool val3 = !pagefault;
	bool rt = test_bit(LTL_RT, mon->atoms);
	bool val1 = !rt;
	bool val4 = val1 || val3;

	switch (state) {
	case S0:
		if (val4)
			__set_bit(S0, next);
		break;
	}
}

Annotation

• Immediate include surface: `linux/rv.h`.
• Detected declarations: `enum ltl_atom`, `enum ltl_buchi_state`, `function ltl_start`, `function ltl_possible_next_states`.
• Atlas domain: Core OS / Scheduler, Processes, Timers, Sync, And Syscalls.
• Implementation status: source implementation candidate.

Implementation Notes

• This generated page is the file-by-file coverage layer; curated subsystem chapters should link here when they synthesize a multi-file control flow.
• Core OS pages should be promoted from atlas-only to deep-reviewed when they explain data structures, invariants, locking, lifecycle, and C implementation snippets.
• Driver-family pages are intentionally pattern-oriented unless they are part of the selected PCIe/NVMe representative device path.