Symbol: PRI_KERNEL