+ DECLARE("SYSTEM_STATE", offsetof(struct processor *, processor_data.system_state));
+ DECLARE("USER_STATE", offsetof(struct processor *, processor_data.user_state));
+ DECLARE("CURRENT_STATE", offsetof(struct processor *, processor_data.current_state));