|
Linux Kernel
3.7.1
|
#include <linux/types.h>#include <linux/string.h>#include <linux/kvm.h>#include <linux/kvm_host.h>#include <linux/highmem.h>#include <asm/tlbflush.h>#include <asm/kvm_ppc.h>#include <asm/kvm_book3s.h>Go to the source code of this file.
Macros | |
| #define | dprintk(X...) do { } while(0) |
| #define | dprintk_pte(X...) do { } while(0) |
| #define | PTEG_FLAG_ACCESSED 0x00000100 |
| #define | PTEG_FLAG_DIRTY 0x00000080 |
| #define | SID_SHIFT 28 |
Functions | |
| void | kvmppc_mmu_book3s_32_init (struct kvm_vcpu *vcpu) |
| #define dprintk | ( | X... | ) | do { } while(0) |
Definition at line 37 of file book3s_32_mmu.c.
| #define dprintk_pte | ( | X... | ) | do { } while(0) |
Definition at line 43 of file book3s_32_mmu.c.
| #define PTEG_FLAG_ACCESSED 0x00000100 |
Definition at line 46 of file book3s_32_mmu.c.
| #define PTEG_FLAG_DIRTY 0x00000080 |
Definition at line 47 of file book3s_32_mmu.c.
| #define SID_SHIFT 28 |
Definition at line 49 of file book3s_32_mmu.c.
Definition at line 401 of file book3s_32_mmu.c.
1.8.2