From 3cc79212a3b0b49853c207cd99ef1ba91b76a004 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Markus=20Fr=C3=B6schle?= Date: Sun, 17 Apr 2016 18:16:48 +0000 Subject: [PATCH] changed return type to uint32_t instead of int32_t --- include/driver_vec.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/include/driver_vec.h b/include/driver_vec.h index 9c83a6a..70f5cf9 100644 --- a/include/driver_vec.h +++ b/include/driver_vec.h @@ -265,9 +265,9 @@ struct pci_bios_interface struct mmu_driver_interface { - int32_t (*map_page_locked)(uint32_t address, uint32_t length, int asid); - int32_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 (*map_page_locked)(uint32_t address, uint32_t length, int asid); + uint32_t (*unlock_page)(uint32_t address, uint32_t length, int asid); + uint32_t (*report_locked_pages)(uint32_t *num_itlb, uint32_t *num_dtlb); uint32_t (*report_pagesize)(void); };