UART0              16 kernel/uart.c  #define Reg(reg) ((volatile unsigned char *)(UART0 + (reg)))
UART0              28 kernel/vm.c      kvmmap(kpgtbl, UART0, UART0, PGSIZE, PTE_R | PTE_W);