#ifndef QUARK_PHYSADDR_H
#define QUARK_PHYSADDR_H

typedef unsigned long int physaddr_t;

#endif