#ifndef KERNEL_VMA_H
#define KERNEL_VMA_H

#define KERNEL_VMA 0xffffffff80000000

#endif