#ifndef K_MESSAGES_H #define K_MESSAGES_H void* get_paddr(void* addr); #endif