#ifndef TPL_ASM_DEFINITIONS_H
#define TPL_ASM_DEFINITIONS_H

/*
 * tpl_kern data structure offsets (for use into assembler sources)
 */
#define TPL_KERN_OFFSET_S_RUNNING 0
#define TPL_KERN_OFFSET_S_ELECTED 4
#define TPL_KERN_OFFSET_RUNNING 8
#define TPL_KERN_OFFSET_ELECTED 12
#define TPL_KERN_OFFSET_RUNNING_ID 16
#define TPL_KERN_OFFSET_ELECTED_ID 20
#define TPL_KERN_OFFSET_NEED_SWITCH 24
#define TPL_KERN_OFFSET_NEED_SCHEDULE 25

#endif
/* TPL_ASM_DEFINITIONS_H */

/* Enf of file tpl_asm_definitions.h */