#ifndef KERNEL_PHYSADDR_H
#define KERNEL_PHYSADDR_H

typedef unsigned long physaddr_t;

#endif