diff options
Diffstat (limited to 'big-little/include/ipi.h')
| -rw-r--r-- | big-little/include/ipi.h | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/big-little/include/ipi.h b/big-little/include/ipi.h new file mode 100644 index 0000000..1f9e888 --- /dev/null +++ b/big-little/include/ipi.h @@ -0,0 +1,35 @@ +/* + * Copyright (c) 2012, ARM Limited. All rights reserved. + * + * Redistribution and use in source and binary forms, with + * or without modification, are permitted provided that the + * following conditions are met: + * + * Redistributions of source code must retain the above + * copyright notice, this list of conditions and the + * following disclaimer. + * + * Redistributions in binary form must reproduce the + * above copyright notice, this list of conditions and + * the following disclaimer in the documentation + * and/or other materials provided with the distribution. + * + * Neither the name of ARM nor the names of its + * contributors may be used to endorse or promote products + * derived from this software without specific prior written + * permission. + */ + +#ifndef __IPI_H__ +#define __IPI_H__ + +#define MAX_IPI 16 +/* Opcode to trigger a cluster switch */ +#define IPI_CLUSTER_SWITCH 1 +/* Opcode to migrate vGIC virqs */ +#define IPI_MIGRATE_VIRQS 2 + +extern unsigned send_hyp_ipi(unsigned, unsigned); +extern unsigned get_hyp_ipi(unsigned, unsigned); + +#endif /* __IPI_H__ */ |