Home
last modified time | relevance | path

Searched refs:reg_id (Results 1 – 1 of 1) sorted by relevance

/trusty/kernel/platform/generic-x86_64/
Ddebug.c48 static uint8_t serial_io_get_reg(uint64_t base_addr, uint32_t reg_id) { in serial_io_get_reg() argument
49 return inp((uint16_t)base_addr + (uint16_t)reg_id); in serial_io_get_reg()
53 uint32_t reg_id, in serial_io_set_reg() argument
55 outp((uint16_t)base_addr + (uint16_t)reg_id, val); in serial_io_set_reg()