#ifndef __ASM_IPI_H
#define __ASM_IPI_H

#include <asm/genapic.h>

#define send_IPI_mask (genapic->send_IPI_mask)

#endif /* __ASM_IPI_H */