/**
 * @file
 *
 * @date Oct 17, 2012
 * @author: Anton Bondarev
 */

#ifndef PPC_ASM_IPL_H_
#define PPC_ASM_IPL_H_

typedef unsigned int __ipl_t;

static inline void ipl_init(void) {
}


static inline __ipl_t ipl_save(void) {
}

static inline void ipl_restore(__ipl_t ipl) {

}

#endif /* PPC_ASM_IPL_H_ */
