DEVMAP_ALIGN
devmap[devmap_index].pd_pa = DEVMAP_ALIGN(uart_base);
devmap[devmap_index].pd_va = DEVMAP_ALIGN(devmap_va);
devmap[devmap_index].pd_pa = DEVMAP_ALIGN(release_addr);
devmap[devmap_index].pd_va = DEVMAP_ALIGN(devmap_va);
devmap_uart[0].pd_pa = DEVMAP_ALIGN(uart_base);
#define ARM_PTOV(p) (((p) - DEVMAP_ALIGN(uart_base)) + KERNEL_IO_VBASE)
devmap_uart[0].pd_pa = DEVMAP_ALIGN(uart_base);
.pd_va = DEVMAP_ALIGN(va), \
.pd_pa = DEVMAP_ALIGN(pa), \