|
@@ -96,7 +96,7 @@ unsigned long vgic_data_mmio_bus_to_host(const void *val, unsigned int len);
|
|
|
void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,
|
|
|
unsigned long data);
|
|
|
|
|
|
-unsigned long extract_bytes(unsigned long data, unsigned int offset,
|
|
|
+unsigned long extract_bytes(u64 data, unsigned int offset,
|
|
|
unsigned int num);
|
|
|
|
|
|
u64 update_64bit_reg(u64 reg, unsigned int offset, unsigned int len,
|