PTE2VA
RELOC(intiobase, uint8_t *) = (uint8_t *)PTE2VA(pte);
RELOC(extiobase, uint8_t *) = (uint8_t *)PTE2VA(pte);
RELOC(virtual_avail, vaddr_t) = PTE2VA(pte);
RELOC(virtual_avail, vaddr_t) = PTE2VA(pte);
IOBase = PTE2VA(pte);
ROMBase = (void *)PTE2VA(pte);
newvideoaddr = PTE2VA(pte)
virtual_avail = PTE2VA(pte);
RELOC(intiobase, uint8_t *) = (uint8_t *)PTE2VA(pte);
RELOC(virtual_avail, vaddr_t) = PTE2VA(pte);
RELOC(virtual_avail, vaddr_t) = PTE2VA(pte);
RELOC(intiobase, vaddr_t) = PTE2VA(pte);
RELOC(fbbase, vaddr_t) = PTE2VA(pte);
RELOC(virtual_avail, vaddr_t) = PTE2VA(pte);
RELOC(virtual_avail, vaddr_t) = PTE2VA(pte);
RELOC(intiobase, uint8_t *) = (uint8_t *)PTE2VA(pte);
RELOC(virtual_avail, vaddr_t) = PTE2VA(pte);