/trunk/kernel/arch/amd64/include/mm/ptl.h |
---|
32,10 → 32,9 |
/** @file |
*/ |
#ifndef KERN_amd64_PTL_H_ |
#define KERN_amd64_PTL_H_ |
#ifndef __amd64_PTL_H_ |
#define __amd64_PTL_H_ |
#define PTL_NO_EXEC (1<<63) |
#define PTL_ACCESSED (1<<5) |
#define PTL_CACHE_DISABLE (1<<4) |
50,4 → 49,3 |
/** @} |
*/ |