/kernel/trunk/arch/ppc32/include/drivers/pic.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32 |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __PIC_H_ |
#define __PIC_H_ |
52,7 → 46,3 |
int pic_get_pending(void); |
#endif |
/** @} |
*/ |