< 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.

struct registers_x86_32	enabled_save_area
	Enabled register save area.

struct registers_x86_32	disabled_save_area
	Disabled register save area.

struct registers_x86_32	trap_save_area
	Trap register save area.

struct registers_fpu_x86_32	enabled_fpu_state
	FPU register save area.

struct registers_fpu_x86_32	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