PTE_DEV_BITS
0xb8000 + i | PTE_DEV_BITS,
(void) HYPERVISOR_update_va_mapping(vaddr, 0x0 | PTE_DEV_BITS,