< Architecture specific kernel/user shared dispatcher struct More...

Data Fields
struct dispatcher_shared_generic	d
	Generic portion.

lvaddr_t	crit_pc_low
	Critical section lower PC bound.

lvaddr_t	crit_pc_high
	Critical section upper PC bound.

lvaddr_t	ldt_base
	Base address of local descriptor table (LDT)

size_t	ldt_npages
	Size of local descriptor table (# 4k pages)

struct registers_x86_64	enabled_save_area
	Enabled register save area.

struct registers_x86_64	disabled_save_area
	Disabled register save area.

struct registers_x86_64	trap_save_area
	Trap register save area.

struct registers_fpu_x86_64	enabled_fpu_state
	FPU register save area.

struct registers_fpu_x86_64	disabled_fpu_state
	FPU register save area.

Detailed Description

< Architecture specific kernel/user shared dispatcher struct

The documentation for this struct was generated from the following file:

Data Fields