GICD_SIZE
const bus_size_t end = ulmax(gicd->BaseAddress + GICD_SIZE, gicc->BaseAddress + GICC_SIZE);
const bus_size_t size = GICD_SIZE;