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.