#ifndef _SPL_SYSTM_H
#define _SPL_SYSTM_H

#include <sys/sunddi.h>

typedef uintptr_t pc_t;

#endif /* SPL_SYSTM_H */