#include <apos/sizes.h>
#define PM_KERN 0x83800000
#define VM_KERN ((-1) - SZ_1G)