changed return type to uint32_t instead of int32_t

This commit is contained in:
Markus Fröschle
2016-04-17 18:16:48 +00:00
parent 4f184e2ccc
commit 221f191a07

View File

@@ -265,9 +265,9 @@ struct pci_bios_interface
struct mmu_driver_interface struct mmu_driver_interface
{ {
int32_t (*map_page_locked)(uint32_t address, uint32_t length, int asid); uint32_t (*map_page_locked)(uint32_t address, uint32_t length, int asid);
int32_t (*unlock_page)(uint32_t address, uint32_t length, int asid); uint32_t (*unlock_page)(uint32_t address, uint32_t length, int asid);
int32_t (*report_locked_pages)(uint32_t *num_itlb, uint32_t *num_dtlb); uint32_t (*report_locked_pages)(uint32_t *num_itlb, uint32_t *num_dtlb);
uint32_t (*report_pagesize)(void); uint32_t (*report_pagesize)(void);
}; };