40 lines
1004 B
C
40 lines
1004 B
C
![]() |
#ifndef _ARCH_POWERPC_MM_ICSWX_H_
|
||
|
#define _ARCH_POWERPC_MM_ICSWX_H_
|
||
|
|
||
|
/*
|
||
|
* ICSWX and ACOP Management
|
||
|
*
|
||
|
* Copyright (C) 2011 Anton Blanchard, IBM Corp. <anton@samba.org>
|
||
|
*
|
||
|
* This program is free software; you can redistribute it and/or
|
||
|
* modify it under the terms of the GNU General Public License
|
||
|
* as published by the Free Software Foundation; either version
|
||
|
* 2 of the License, or (at your option) any later version.
|
||
|
*
|
||
|
*/
|
||
|
|
||
|
#include <asm/mmu_context.h>
|
||
|
|
||
|
/* also used to denote that PIDs are not used */
|
||
|
#define COP_PID_NONE 0
|
||
|
|
||
|
static inline void sync_cop(void *arg)
|
||
|
{
|
||
|
struct mm_struct *mm = arg;
|
||
|
|
||
|
if (mm == current->active_mm)
|
||
|
switch_cop(current->active_mm);
|
||
|
}
|
||
|
|
||
|
#ifdef CONFIG_PPC_ICSWX_PID
|
||
|
extern int get_cop_pid(struct mm_struct *mm);
|
||
|
extern int disable_cop_pid(struct mm_struct *mm);
|
||
|
extern void free_cop_pid(int free_pid);
|
||
|
#else
|
||
|
#define get_cop_pid(m) (COP_PID_NONE)
|
||
|
#define disable_cop_pid(m) (COP_PID_NONE)
|
||
|
#define free_cop_pid(p)
|
||
|
#endif
|
||
|
|
||
|
#endif /* !_ARCH_POWERPC_MM_ICSWX_H_ */
|