Subversion Repositories HelenOS

Rev

Rev 2071 | Rev 2133 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2071 Rev 2089
Line 42... Line 42...
42
#include <mm/tlb.h>
42
#include <mm/tlb.h>
43
#include <mm/asid.h>
43
#include <mm/asid.h>
44
#include <arch/mm/tlb.h>
44
#include <arch/mm/tlb.h>
45
#include <smp/ipi.h>
45
#include <smp/ipi.h>
46
#include <synch/spinlock.h>
46
#include <synch/spinlock.h>
47
#include <typedefs.h>
-
 
48
#include <atomic.h>
47
#include <atomic.h>
49
#include <arch/interrupt.h>
48
#include <arch/interrupt.h>
50
#include <config.h>
49
#include <config.h>
51
#include <arch.h>
50
#include <arch.h>
52
#include <panic.h>
51
#include <panic.h>
53
#include <debug.h>
52
#include <debug.h>
-
 
53
#include <cpu.h>
54
 
54
 
55
/**
55
/**
56
 * This lock is used for synchronisation between sender and
56
 * This lock is used for synchronisation between sender and
57
 * recipients of TLB shootdown message. It must be acquired
57
 * recipients of TLB shootdown message. It must be acquired
58
 * before CPU structure lock.
58
 * before CPU structure lock.