Core: use new mk_ptr_t data type

Signed-off-by: Eduardo Silva <edsiper@gmail.com>