title: Reserve a physical address space in linux
body: <p>Is there any way to reserve a certain physical address space (say 0x2000 - 0x1000) in linux</p>
  
  <p>i need to reserve it so linux doesn't use it in any way. it is used by some unrelated co-processor and so must be left unused.</p>
  
  <p>Thanks </p>