GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

src/drivers: Remove unnecessary space after casts 

Change-Id: I16689da893b5a0c3254364759d435281cb3e1caf
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/69803
Reviewed-by: Eric Lai <eric_lai@quanta.corp-partner.google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
Elyes Haouas 2022-11-18 15:05:39 +01:00 committed by Felix Held
parent 385939f7cf
commit 1ef547eec7
14 changed files with 45 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/drivers/amd/agesa/heapmanager.c
View File

@ -42,7 +42,7 @@ void EmptyHeap(void)
memset(base, 0, BIOS_HEAP_SIZE); memset(base, 0, BIOS_HEAP_SIZE);
printk(BIOS_DEBUG, "Wiped HEAP at [%08x - %08x]\n", printk(BIOS_DEBUG, "Wiped HEAP at [%08x - %08x]\n",
(unsigned int)(uintptr_t)base, (unsigned int)(uintptr_t) base + BIOS_HEAP_SIZE - 1); (unsigned int)(uintptr_t)base, (unsigned int)(uintptr_t)base + BIOS_HEAP_SIZE - 1);
} }
#if defined(HEAP_CALLOUT_RUNTIME) && ENV_RAMSTAGE #if defined(HEAP_CALLOUT_RUNTIME) && ENV_RAMSTAGE
@ -345,7 +345,7 @@ static AGESA_STATUS agesa_LocateBuffer(BIOS_HEAP_MANAGER *BiosHeapBasePtr,
} }
} }
AllocParams->BufferPointer = (UINT8 *)((UINT8 *) AllocNodePtr + sizeof(BIOS_BUFFER_NODE)); AllocParams->BufferPointer = (UINT8 *)((UINT8 *)AllocNodePtr + sizeof(BIOS_BUFFER_NODE));
AllocParams->BufferLength = AllocNodePtr->BufferSize; AllocParams->BufferLength = AllocNodePtr->BufferSize;
return AGESA_SUCCESS; return AGESA_SUCCESS;

4
src/drivers/aspeed/common/ast_post.c
View File

@ -740,9 +740,9 @@ static void finetuneDQSI(struct ast_private *ast)
passcnt[dqsip]++; passcnt[dqsip]++;
tag[dqsip][dlli] = 'P'; tag[dqsip][dlli] = 'P';
if (dlli < pass[dqidly][dqsip][0]) if (dlli < pass[dqidly][dqsip][0])
pass[dqidly][dqsip][0] = (u16) dlli; pass[dqidly][dqsip][0] = (u16)dlli;
if (dlli > pass[dqidly][dqsip][1]) if (dlli > pass[dqidly][dqsip][1])
pass[dqidly][dqsip][1] = (u16) dlli; pass[dqidly][dqsip][1] = (u16)dlli;
} else if (passcnt[dqsip] >= 5) } else if (passcnt[dqsip] >= 5)
break; break;
else { else {

4
src/drivers/i2c/ptn3460/ptn3460.c
View File

@ -63,7 +63,7 @@ static int ptn3460_write_edid(struct device *dev, u8 edid_num, u8 *data)
static void ptn3460_init(struct device *dev) static void ptn3460_init(struct device *dev)
{ {
struct ptn_3460_config cfg; struct ptn_3460_config cfg;
uint8_t edid_data[PTN_EDID_LEN], edid_tab, *ptr = (uint8_t *) &cfg; uint8_t edid_data[PTN_EDID_LEN], edid_tab, *ptr = (uint8_t *)&cfg;
int i, val; int i, val;
/* Guard against re-initialization of the device */ /* Guard against re-initialization of the device */
@ -108,7 +108,7 @@ static void ptn3460_init(struct device *dev)
/* Mainboard can modify the configuration data. /* Mainboard can modify the configuration data.
Write back configuration data to PTN3460 if modified by mainboard */ Write back configuration data to PTN3460 if modified by mainboard */
if (mb_adjust_cfg(&cfg) == PTN_CFG_MODIFIED) { if (mb_adjust_cfg(&cfg) == PTN_CFG_MODIFIED) {
ptr = (uint8_t *) &cfg; ptr = (uint8_t *)&cfg;
for (i = 0; i < sizeof(struct ptn_3460_config); i++) { for (i = 0; i < sizeof(struct ptn_3460_config); i++) {
val = i2c_dev_writeb_at(dev, PTN_CONFIG_OFF + i, *ptr++); val = i2c_dev_writeb_at(dev, PTN_CONFIG_OFF + i, *ptr++);
if (val < 0) { if (val < 0) {

4
src/drivers/i2c/tpm/tis.c
View File

@ -78,7 +78,7 @@ static ssize_t tpm_transmit(const uint8_t *sbuf, size_t sbufsiz, void *rbuf,
} }
ASSERT(chip.vendor.send); ASSERT(chip.vendor.send);
rc = chip.vendor.send(&chip, (uint8_t *) sbuf, count); rc = chip.vendor.send(&chip, (uint8_t *)sbuf, count);
if (rc < 0) { if (rc < 0) {
printk(BIOS_DEBUG, "%s: tpm_send error\n", __func__); printk(BIOS_DEBUG, "%s: tpm_send error\n", __func__);
goto out; goto out;
@ -111,7 +111,7 @@ static ssize_t tpm_transmit(const uint8_t *sbuf, size_t sbufsiz, void *rbuf,
out_recv: out_recv:
rc = chip.vendor.recv(&chip, (uint8_t *) rbuf, rbufsiz); rc = chip.vendor.recv(&chip, (uint8_t *)rbuf, rbufsiz);
if (rc < 0) if (rc < 0)
printk(BIOS_DEBUG, "%s: tpm_recv: error %d\n", __func__, rc); printk(BIOS_DEBUG, "%s: tpm_recv: error %d\n", __func__, rc);
out: out:

4
src/drivers/intel/fsp2_0/hand_off_block.c
View File

@ -261,14 +261,14 @@ static void display_fsp_version_info_hob(const void *hob)
tcount = fvih->Count; tcount = fvih->Count;
#elif CONFIG(DISPLAY_FSP_VERSION_INFO_2) #elif CONFIG(DISPLAY_FSP_VERSION_INFO_2)
uint8_t *hobstart = (uint8_t *) hob; uint8_t *hobstart = (uint8_t *)hob;
hobstart += sizeof(EFI_HOB_GUID_TYPE); hobstart += sizeof(EFI_HOB_GUID_TYPE);
const SMBIOS_TABLE_TYPE_OEM_INTEL_FVI *stfvi = const SMBIOS_TABLE_TYPE_OEM_INTEL_FVI *stfvi =
(SMBIOS_TABLE_TYPE_OEM_INTEL_FVI *)hobstart; (SMBIOS_TABLE_TYPE_OEM_INTEL_FVI *)hobstart;
const INTEL_FIRMWARE_VERSION_INFO *fvi; const INTEL_FIRMWARE_VERSION_INFO *fvi;
str_ptr = ((char *) &(stfvi->Fvi[0])) + str_ptr = ((char *)&(stfvi->Fvi[0])) +
(stfvi->Count * sizeof(INTEL_FIRMWARE_VERSION_INFO)); (stfvi->Count * sizeof(INTEL_FIRMWARE_VERSION_INFO));
tcount = stfvi->Count; tcount = stfvi->Count;
fvi = &stfvi->Fvi[0]; fvi = &stfvi->Fvi[0];

6
src/drivers/intel/fsp2_0/silicon_init.c
View File

@ -96,7 +96,7 @@ static void do_silicon_init(struct fsp_header *hdr)
struct fsp_multi_phase_params multi_phase_params; struct fsp_multi_phase_params multi_phase_params;
struct fsp_multi_phase_get_number_of_phases_params multi_phase_get_number; struct fsp_multi_phase_get_number_of_phases_params multi_phase_get_number;
supd = (FSPS_UPD *) (uintptr_t)(hdr->cfg_region_offset + hdr->image_base); supd = (FSPS_UPD *)(uintptr_t)(hdr->cfg_region_offset + hdr->image_base);
fsp_verify_upd_header_signature(supd->FspUpdHeader.Signature, FSPS_UPD_SIGNATURE); fsp_verify_upd_header_signature(supd->FspUpdHeader.Signature, FSPS_UPD_SIGNATURE);
@ -127,7 +127,7 @@ static void do_silicon_init(struct fsp_header *hdr)
soc_load_logo(upd); soc_load_logo(upd);
/* Call SiliconInit */ /* Call SiliconInit */
silicon_init = (void *) (uintptr_t)(hdr->image_base + silicon_init = (void *)(uintptr_t)(hdr->image_base +
hdr->fsp_silicon_init_entry_offset); hdr->fsp_silicon_init_entry_offset);
fsp_debug_before_silicon_init(silicon_init, supd, upd); fsp_debug_before_silicon_init(silicon_init, supd, upd);
@ -165,7 +165,7 @@ static void do_silicon_init(struct fsp_header *hdr)
return; return;
/* Call MultiPhaseSiInit */ /* Call MultiPhaseSiInit */
multi_phase_si_init = (void *) (uintptr_t)(hdr->image_base + multi_phase_si_init = (void *)(uintptr_t)(hdr->image_base +
hdr->fsp_multi_phase_si_init_entry_offset); hdr->fsp_multi_phase_si_init_entry_offset);
/* Implementing multi_phase_si_init() is optional as per FSP 2.2 spec */ /* Implementing multi_phase_si_init() is optional as per FSP 2.2 spec */

4
src/drivers/ipmi/ipmi_fru.c
View File

@ -36,8 +36,8 @@ static enum cb_err ipmi_read_fru(const int port, struct ipmi_read_fru_data_req *
while (retry_count <= MAX_FRU_BUSY_RETRY) { while (retry_count <= MAX_FRU_BUSY_RETRY) {
ret = ipmi_message(port, IPMI_NETFN_STORAGE, 0x0, ret = ipmi_message(port, IPMI_NETFN_STORAGE, 0x0,
IPMI_READ_FRU_DATA, (const unsigned char *) req, IPMI_READ_FRU_DATA, (const unsigned char *)req,
sizeof(*req), (unsigned char *) &rsp, sizeof(rsp)); sizeof(*req), (unsigned char *)&rsp, sizeof(rsp));
if (rsp.resp.completion_code == 0x81) { if (rsp.resp.completion_code == 0x81) {
/* Device is busy */ /* Device is busy */
if (retry_count == MAX_FRU_BUSY_RETRY) { if (retry_count == MAX_FRU_BUSY_RETRY) {

18
src/drivers/ipmi/ipmi_ops.c
View File

@ -21,8 +21,8 @@ enum cb_err ipmi_init_and_start_bmc_wdt(const int port, uint16_t countdown,
req.initial_countdown_val = countdown; req.initial_countdown_val = countdown;
ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0, ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0,
IPMI_BMC_SET_WDG_TIMER, IPMI_BMC_SET_WDG_TIMER,
(const unsigned char *) &req, sizeof(req), (const unsigned char *)&req, sizeof(req),
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.completion_code) {
printk(BIOS_ERR, "IPMI: %s set wdt command failed " printk(BIOS_ERR, "IPMI: %s set wdt command failed "
@ -35,7 +35,7 @@ enum cb_err ipmi_init_and_start_bmc_wdt(const int port, uint16_t countdown,
/* Reset command to start timer */ /* Reset command to start timer */
ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0, ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0,
IPMI_BMC_RESET_WDG_TIMER, NULL, 0, IPMI_BMC_RESET_WDG_TIMER, NULL, 0,
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.completion_code) {
printk(BIOS_ERR, "IPMI: %s reset wdt command failed " printk(BIOS_ERR, "IPMI: %s reset wdt command failed "
@ -59,7 +59,7 @@ enum cb_err ipmi_stop_bmc_wdt(const int port)
/* Get current timer first */ /* Get current timer first */
ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0, ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0,
IPMI_BMC_GET_WDG_TIMER, NULL, 0, IPMI_BMC_GET_WDG_TIMER, NULL, 0,
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) {
printk(BIOS_ERR, "IPMI: %s get wdt command failed " printk(BIOS_ERR, "IPMI: %s get wdt command failed "
@ -79,8 +79,8 @@ enum cb_err ipmi_stop_bmc_wdt(const int port)
req = rsp.data; req = rsp.data;
ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0, ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0,
IPMI_BMC_SET_WDG_TIMER, IPMI_BMC_SET_WDG_TIMER,
(const unsigned char *) &req, sizeof(req), (const unsigned char *)&req, sizeof(req),
(unsigned char *) &resp, sizeof(resp)); (unsigned char *)&resp, sizeof(resp));
if (ret < sizeof(struct ipmi_rsp) || resp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || resp.completion_code) {
printk(BIOS_ERR, "IPMI: %s set wdt command stop timer failed " printk(BIOS_ERR, "IPMI: %s set wdt command stop timer failed "
@ -107,7 +107,7 @@ enum cb_err ipmi_get_system_guid(const int port, uint8_t *uuid)
ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0, ret = ipmi_message(port, IPMI_NETFN_APPLICATION, 0x0,
IPMI_BMC_GET_SYSTEM_GUID, NULL, 0, IPMI_BMC_GET_SYSTEM_GUID, NULL, 0,
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) {
printk(BIOS_ERR, "IPMI: %s command failed (ret=%d resp=0x%x)\n", printk(BIOS_ERR, "IPMI: %s command failed (ret=%d resp=0x%x)\n",
@ -130,8 +130,8 @@ enum cb_err ipmi_add_sel(const int port, struct sel_event_record *sel)
} }
ret = ipmi_message(port, IPMI_NETFN_STORAGE, 0x0, ret = ipmi_message(port, IPMI_NETFN_STORAGE, 0x0,
IPMI_ADD_SEL_ENTRY, (const unsigned char *) sel, IPMI_ADD_SEL_ENTRY, (const unsigned char *)sel,
16, (unsigned char *) &rsp, sizeof(rsp)); 16, (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) {
printk(BIOS_ERR, "IPMI: %s command failed (ret=%d resp=0x%x)\n", printk(BIOS_ERR, "IPMI: %s command failed (ret=%d resp=0x%x)\n",

4
src/drivers/ipmi/ocp/ipmi_ocp.c
View File

@ -29,8 +29,8 @@ static enum cb_err ipmi_set_ppin(struct device *dev)
req.cpu1_hi = xeon_sp_ppin[1].hi; req.cpu1_hi = xeon_sp_ppin[1].hi;
} }
ret = ipmi_message(dev->path.pnp.port, IPMI_NETFN_OEM, 0x0, IPMI_OEM_SET_PPIN, ret = ipmi_message(dev->path.pnp.port, IPMI_NETFN_OEM, 0x0, IPMI_OEM_SET_PPIN,
(const unsigned char *) &req, sizeof(req), (const unsigned char *)&req, sizeof(req),
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.completion_code) {
printk(BIOS_ERR, "IPMI: %s command failed (ret=%d resp=0x%x)\n", printk(BIOS_ERR, "IPMI: %s command failed (ret=%d resp=0x%x)\n",

8
src/drivers/ipmi/ocp/ipmi_ocp_romstage.c
View File

@ -11,7 +11,7 @@ enum cb_err ipmi_set_post_start(const int port)
struct ipmi_rsp rsp; struct ipmi_rsp rsp;
ret = ipmi_message(port, IPMI_NETFN_OEM, 0x0, ret = ipmi_message(port, IPMI_NETFN_OEM, 0x0,
IPMI_BMC_SET_POST_START, NULL, 0, (u8 *) &rsp, IPMI_BMC_SET_POST_START, NULL, 0, (u8 *)&rsp,
sizeof(rsp)); sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.completion_code) {
@ -45,7 +45,7 @@ enum cb_err ipmi_set_cmos_clear(void)
ret = ipmi_message(CONFIG_BMC_KCS_BASE, IPMI_NETFN_OEM, 0x0, ret = ipmi_message(CONFIG_BMC_KCS_BASE, IPMI_NETFN_OEM, 0x0,
IPMI_OEM_GET_BIOS_BOOT_ORDER, IPMI_OEM_GET_BIOS_BOOT_ORDER,
NULL, 0, NULL, 0,
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) {
printk(BIOS_ERR, "IPMI: %s command failed (read ret=%d resp=0x%x)\n", printk(BIOS_ERR, "IPMI: %s command failed (read ret=%d resp=0x%x)\n",
@ -58,8 +58,8 @@ enum cb_err ipmi_set_cmos_clear(void)
SET_CMOS_AND_VALID_BIT(req.boot_mode); SET_CMOS_AND_VALID_BIT(req.boot_mode);
ret = ipmi_message(CONFIG_BMC_KCS_BASE, IPMI_NETFN_OEM, 0x0, ret = ipmi_message(CONFIG_BMC_KCS_BASE, IPMI_NETFN_OEM, 0x0,
IPMI_OEM_SET_BIOS_BOOT_ORDER, IPMI_OEM_SET_BIOS_BOOT_ORDER,
(const unsigned char *) &req, sizeof(req), (const unsigned char *)&req, sizeof(req),
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) { if (ret < sizeof(struct ipmi_rsp) || rsp.resp.completion_code) {
printk(BIOS_ERR, "IPMI: %s command failed (sent ret=%d resp=0x%x)\n", printk(BIOS_ERR, "IPMI: %s command failed (sent ret=%d resp=0x%x)\n",

8
src/drivers/ipmi/supermicro_oem.c
View File

@ -36,8 +36,8 @@ static void set_coreboot_ver(const uint16_t kcs_port)
bios_ver.ver = IPMI_LUN0_AC_SET_BIOS_VER; bios_ver.ver = IPMI_LUN0_AC_SET_BIOS_VER;
ret = ipmi_message(kcs_port, IPMI_NETFN_OEM, 0, IPMI_LUN0_SET_BIOS_STRING, ret = ipmi_message(kcs_port, IPMI_NETFN_OEM, 0, IPMI_LUN0_SET_BIOS_STRING,
(const unsigned char *) &bios_ver, sizeof(bios_ver), (const unsigned char *)&bios_ver, sizeof(bios_ver),
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(rsp) || rsp.completion_code) { if (ret < sizeof(rsp) || rsp.completion_code) {
printk(BIOS_ERR, "BMC_IPMI: %s command failed (ret=%d resp=0x%x)\n", printk(BIOS_ERR, "BMC_IPMI: %s command failed (ret=%d resp=0x%x)\n",
__func__, ret, rsp.completion_code); __func__, ret, rsp.completion_code);
@ -55,8 +55,8 @@ static void set_coreboot_date(const uint16_t kcs_port)
bios_ver.ver = IPMI_LUN0_AC_SET_BIOS_DATE; bios_ver.ver = IPMI_LUN0_AC_SET_BIOS_DATE;
ret = ipmi_message(kcs_port, IPMI_NETFN_OEM, 0, IPMI_LUN0_SET_BIOS_STRING, ret = ipmi_message(kcs_port, IPMI_NETFN_OEM, 0, IPMI_LUN0_SET_BIOS_STRING,
(const unsigned char *) &bios_ver, sizeof(bios_ver), (const unsigned char *)&bios_ver, sizeof(bios_ver),
(unsigned char *) &rsp, sizeof(rsp)); (unsigned char *)&rsp, sizeof(rsp));
if (ret < sizeof(rsp) || rsp.completion_code) { if (ret < sizeof(rsp) || rsp.completion_code) {
printk(BIOS_ERR, "BMC_IPMI: %s command failed (ret=%d resp=0x%x)\n", printk(BIOS_ERR, "BMC_IPMI: %s command failed (ret=%d resp=0x%x)\n",
__func__, ret, rsp.completion_code); __func__, ret, rsp.completion_code);

2
src/drivers/net/ne2k.c
View File

@ -281,7 +281,7 @@ int ne2k_init(unsigned int eth_nic_base)
c = inb(eth_nic_base + NE_ASIC_OFFSET + NE_RESET); c = inb(eth_nic_base + NE_ASIC_OFFSET + NE_RESET);
outb(c, eth_nic_base + NE_ASIC_OFFSET + NE_RESET); outb(c, eth_nic_base + NE_ASIC_OFFSET + NE_RESET);
(void) inb(0x84); (void)inb(0x84);
outb(D8390_COMMAND_STP | D8390_COMMAND_RD2, eth_nic_base + D8390_P0_COMMAND); outb(D8390_COMMAND_STP | D8390_COMMAND_RD2, eth_nic_base + D8390_P0_COMMAND);
outb(D8390_RCR_MON, eth_nic_base + D8390_P0_RCR); outb(D8390_RCR_MON, eth_nic_base + D8390_P0_RCR);

4
src/drivers/pc80/vga/vga.c
View File

@ -186,7 +186,7 @@ vga_font_8x16_load(void)
/* plane 2 */ /* plane 2 */
vga_sr_write(0x02, 0x04); vga_sr_write(0x02, 0x04);
p = (unsigned char *) VGA_FB; p = (unsigned char *)VGA_FB;
for (i = 0; i < count; i++) { for (i = 0; i < count; i++) {
for (j = 0; j < 32; j++) { for (j = 0; j < 32; j++) {
if (j < height) if (j < height)
@ -262,7 +262,7 @@ vga_frame_set(unsigned int line, unsigned int character)
void void
vga_line_write(unsigned int line, const char *string) vga_line_write(unsigned int line, const char *string)
{ {
unsigned short *p = (unsigned short *) VGA_FB + (80 * line); unsigned short *p = (unsigned short *)VGA_FB + (80 * line);
int i, len = strlen(string); int i, len = strlen(string);
for (i = 0; i < 80; i++) { for (i = 0; i < 80; i++) {

16
src/drivers/pc80/vga/vga_io.c
View File

@ -147,10 +147,10 @@ vga_ar_read(unsigned char index)
{ {
unsigned char ret; unsigned char ret;
(void) inb(VGA_STAT1); (void)inb(VGA_STAT1);
outb(index, VGA_AR_INDEX); outb(index, VGA_AR_INDEX);
ret = inb(VGA_AR_VALUE_READ); ret = inb(VGA_AR_VALUE_READ);
(void) inb(VGA_STAT1); (void)inb(VGA_STAT1);
return ret; return ret;
} }
@ -158,10 +158,10 @@ vga_ar_read(unsigned char index)
void void
vga_ar_write(unsigned char index, unsigned char value) vga_ar_write(unsigned char index, unsigned char value)
{ {
(void) inb(VGA_STAT1); (void)inb(VGA_STAT1);
outb(index, VGA_AR_INDEX); outb(index, VGA_AR_INDEX);
outb(value, VGA_AR_VALUE_WRITE); outb(value, VGA_AR_VALUE_WRITE);
(void) inb(VGA_STAT1); (void)inb(VGA_STAT1);
} }
void void
@ -209,17 +209,17 @@ vga_gr_mask(unsigned char index, unsigned char value, unsigned char mask)
void void
vga_palette_enable(void) vga_palette_enable(void)
{ {
(void) inb(VGA_STAT1); (void)inb(VGA_STAT1);
outb(0x00, VGA_AR_INDEX); outb(0x00, VGA_AR_INDEX);
(void) inb(VGA_STAT1); (void)inb(VGA_STAT1);
} }
void void
vga_palette_disable(void) vga_palette_disable(void)
{ {
(void) inb(VGA_STAT1); (void)inb(VGA_STAT1);
outb(0x20, VGA_AR_INDEX); outb(0x20, VGA_AR_INDEX);
(void) inb(VGA_STAT1); (void)inb(VGA_STAT1);
} }
unsigned char unsigned char