get_current_virtual_address
= get_current_virtual_address() - KERNEL_LOAD_BASE;
extern addr_t get_current_virtual_address();