#include "print.h"
#include "object.h"

void
kprint_objpath(path_byte_t *path, int len)
{
    kprintf("%x", *path);
    for(int i = 1; i < len; i++) kprintf(":%x", path[i]);
}