Changeset 8df5f20 in mainline for kernel/arch


Ignore:
Timestamp:
2019-02-11T14:56:26Z (7 years ago)
Author:
Jiří Zárevúcky <zarevucky.jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
4805495
Parents:
391996b
git-author:
Jiří Zárevúcky <zarevucky.jiri@…> (2019-02-01 23:26:21)
git-committer:
Jiří Zárevúcky <zarevucky.jiri@…> (2019-02-11 14:56:26)
Message:

Rename NO_TRACE to _NO_TRACE

<trace.h> may end up transitively included from standard headers,
so it needs to be a reserved identifier.

Location:
kernel/arch
Files:
46 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/abs32le/include/arch/asm.h

    r391996b r8df5f20  
    4040#include <trace.h>
    4141
    42 NO_TRACE static inline void asm_delay_loop(uint32_t usec)
    43 {
    44 }
    45 
    46 NO_TRACE static inline __attribute__((noreturn)) void cpu_halt(void)
     42_NO_TRACE static inline void asm_delay_loop(uint32_t usec)
     43{
     44}
     45
     46_NO_TRACE static inline __attribute__((noreturn)) void cpu_halt(void)
    4747{
    4848        /*
    … …  
    5757}
    5858
    59 NO_TRACE static inline void cpu_sleep(void)
     59_NO_TRACE static inline void cpu_sleep(void)
    6060{
    6161        /*
    … …  
    6767}
    6868
    69 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t val)
     69_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t val)
    7070{
    7171}
    … …  
    7979 *
    8080 */
    81 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t val)
     81_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t val)
    8282{
    8383}
    … …  
    9191 *
    9292 */
    93 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t val)
     93_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t val)
    9494{
    9595}
    … …  
    103103 *
    104104 */
    105 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     105_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    106106{
    107107        return 0;
    … …  
    116116 *
    117117 */
    118 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     118_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    119119{
    120120        return 0;
    … …  
    129129 *
    130130 */
    131 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    132 {
    133         return 0;
    134 }
    135 
    136 NO_TRACE static inline ipl_t interrupts_enable(void)
     131_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     132{
     133        return 0;
     134}
     135
     136_NO_TRACE static inline ipl_t interrupts_enable(void)
    137137{
    138138        /*
    … …  
    146146}
    147147
    148 NO_TRACE static inline ipl_t interrupts_disable(void)
     148_NO_TRACE static inline ipl_t interrupts_disable(void)
    149149{
    150150        /*
    … …  
    160160}
    161161
    162 NO_TRACE static inline void interrupts_restore(ipl_t ipl)
     162_NO_TRACE static inline void interrupts_restore(ipl_t ipl)
    163163{
    164164        /*
    … …  
    168168}
    169169
    170 NO_TRACE static inline ipl_t interrupts_read(void)
     170_NO_TRACE static inline ipl_t interrupts_read(void)
    171171{
    172172        /*
    … …  
    178178}
    179179
    180 NO_TRACE static inline bool interrupts_disabled(void)
     180_NO_TRACE static inline bool interrupts_disabled(void)
    181181{
    182182        /*
    … …  
    188188}
    189189
    190 NO_TRACE static inline uintptr_t get_stack_base(void)
     190_NO_TRACE static inline uintptr_t get_stack_base(void)
    191191{
    192192        /*

  • kernel/arch/abs32le/include/arch/cycle.h

    r391996b r8df5f20  
    3838#include <trace.h>
    3939
    40 NO_TRACE static inline uint64_t get_cycle(void)
     40_NO_TRACE static inline uint64_t get_cycle(void)
    4141{
    4242        return 0;

  • kernel/arch/abs32le/include/arch/istate.h

    r391996b r8df5f20  
    6262} istate_t;
    6363
    64 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     64_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    6565    REQUIRES_EXTENT_MUTABLE(istate)
    6666{
    … …  
    7373}
    7474
    75 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     75_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    7676    uintptr_t retaddr)
    7777    WRITES(&istate->ip)
    … …  
    8282}
    8383
    84 NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
     84_NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
    8585    REQUIRES_EXTENT_MUTABLE(istate)
    8686{
    … …  
    9090}
    9191
    92 NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
     92_NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
    9393    REQUIRES_EXTENT_MUTABLE(istate)
    9494{

  • kernel/arch/abs32le/include/arch/mm/page.h

    r391996b r8df5f20  
    147147} __attribute__((packed)) pte_t;
    148148
    149 NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
     149_NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
    150150    REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)
    151151{
    … …  
    161161}
    162162
    163 NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
     163_NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
    164164    WRITES(ARRAY_RANGE(pt, PTL0_ENTRIES_ARCH))
    165165    REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)
    … …  
    180180}
    181181
    182 NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
     182_NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
    183183    WRITES(ARRAY_RANGE(pt, PTL0_ENTRIES_ARCH))
    184184    REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)

  • kernel/arch/amd64/include/arch/asm.h

    r391996b r8df5f20  
    5050 *
    5151 */
    52 NO_TRACE static inline uintptr_t get_stack_base(void)
     52_NO_TRACE static inline uintptr_t get_stack_base(void)
    5353{
    5454        uintptr_t v;
    … …  
    6363}
    6464
    65 NO_TRACE static inline void cpu_sleep(void)
     65_NO_TRACE static inline void cpu_sleep(void)
    6666{
    6767        asm volatile (
    … …  
    7070}
    7171
    72 NO_TRACE static inline void __attribute__((noreturn)) cpu_halt(void)
     72_NO_TRACE static inline void __attribute__((noreturn)) cpu_halt(void)
    7373{
    7474        while (true) {
    … …  
    8787 *
    8888 */
    89 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     89_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    9090{
    9191        if (port < (ioport8_t *) IO_SPACE_BOUNDARY) {
    … …  
    111111 *
    112112 */
    113 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     113_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    114114{
    115115        if (port < (ioport16_t *) IO_SPACE_BOUNDARY) {
    … …  
    135135 *
    136136 */
    137 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     137_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    138138{
    139139        if (port < (ioport32_t *) IO_SPACE_BOUNDARY) {
    … …  
    159159 *
    160160 */
    161 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t val)
     161_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t val)
    162162{
    163163        if (port < (ioport8_t *) IO_SPACE_BOUNDARY) {
    … …  
    178178 *
    179179 */
    180 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t val)
     180_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t val)
    181181{
    182182        if (port < (ioport16_t *) IO_SPACE_BOUNDARY) {
    … …  
    197197 *
    198198 */
    199 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t val)
     199_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t val)
    200200{
    201201        if (port < (ioport32_t *) IO_SPACE_BOUNDARY) {
    … …  
    208208}
    209209
    210 NO_TRACE static inline uint64_t read_rflags(void)
     210_NO_TRACE static inline uint64_t read_rflags(void)
    211211{
    212212        uint64_t rflags;
    … …  
    221221}
    222222
    223 NO_TRACE static inline void write_rflags(uint64_t rflags)
     223_NO_TRACE static inline void write_rflags(uint64_t rflags)
    224224{
    225225        asm volatile (
    … …  
    237237 *
    238238 */
    239 NO_TRACE static inline ipl_t interrupts_read(void)
     239_NO_TRACE static inline ipl_t interrupts_read(void)
    240240{
    241241        return (ipl_t) read_rflags();
    … …  
    249249 *
    250250 */
    251 NO_TRACE static inline ipl_t interrupts_enable(void)
     251_NO_TRACE static inline ipl_t interrupts_enable(void)
    252252{
    253253        ipl_t ipl = interrupts_read();
    … …  
    265265 *
    266266 */
    267 NO_TRACE static inline ipl_t interrupts_disable(void)
     267_NO_TRACE static inline ipl_t interrupts_disable(void)
    268268{
    269269        ipl_t ipl = interrupts_read();
    … …  
    281281 *
    282282 */
    283 NO_TRACE static inline void interrupts_restore(ipl_t ipl)
     283_NO_TRACE static inline void interrupts_restore(ipl_t ipl)
    284284{
    285285        write_rflags((uint64_t) ipl);
    … …  
    291291 *
    292292 */
    293 NO_TRACE static inline bool interrupts_disabled(void)
     293_NO_TRACE static inline bool interrupts_disabled(void)
    294294{
    295295        return ((read_rflags() & RFLAGS_IF) == 0);
    … …  
    297297
    298298/** Write to MSR */
    299 NO_TRACE static inline void write_msr(uint32_t msr, uint64_t value)
     299_NO_TRACE static inline void write_msr(uint32_t msr, uint64_t value)
    300300{
    301301        asm volatile (
    … …  
    307307}
    308308
    309 NO_TRACE static inline sysarg_t read_msr(uint32_t msr)
     309_NO_TRACE static inline sysarg_t read_msr(uint32_t msr)
    310310{
    311311        uint32_t ax, dx;
    … …  
    325325 *
    326326 */
    327 NO_TRACE static inline void invlpg(uintptr_t addr)
     327_NO_TRACE static inline void invlpg(uintptr_t addr)
    328328{
    329329        asm volatile (
    … …  
    338338 *
    339339 */
    340 NO_TRACE static inline void gdtr_load(ptr_16_64_t *gdtr_reg)
     340_NO_TRACE static inline void gdtr_load(ptr_16_64_t *gdtr_reg)
    341341{
    342342        asm volatile (
    … …  
    351351 *
    352352 */
    353 NO_TRACE static inline void gdtr_store(ptr_16_64_t *gdtr_reg)
     353_NO_TRACE static inline void gdtr_store(ptr_16_64_t *gdtr_reg)
    354354{
    355355        asm volatile (
    … …  
    364364 *
    365365 */
    366 NO_TRACE static inline void idtr_load(ptr_16_64_t *idtr_reg)
     366_NO_TRACE static inline void idtr_load(ptr_16_64_t *idtr_reg)
    367367{
    368368        asm volatile (
    … …  
    376376 *
    377377 */
    378 NO_TRACE static inline void tr_load(uint16_t sel)
     378_NO_TRACE static inline void tr_load(uint16_t sel)
    379379{
    380380        asm volatile (
    … …  
    384384}
    385385
    386 #define GEN_READ_REG(reg) NO_TRACE static inline sysarg_t read_ ##reg (void) \
     386#define GEN_READ_REG(reg) _NO_TRACE static inline sysarg_t read_ ##reg (void) \
    387387        { \
    388388                sysarg_t res; \
    … …  
    394394        }
    395395
    396 #define GEN_WRITE_REG(reg) NO_TRACE static inline void write_ ##reg (sysarg_t regn) \
     396#define GEN_WRITE_REG(reg) _NO_TRACE static inline void write_ ##reg (sysarg_t regn) \
    397397        { \
    398398                asm volatile ( \

  • kernel/arch/amd64/include/arch/cycle.h

    r391996b r8df5f20  
    3838#include <trace.h>
    3939
    40 NO_TRACE static inline uint64_t get_cycle(void)
     40_NO_TRACE static inline uint64_t get_cycle(void)
    4141{
    4242        uint32_t lower;

  • kernel/arch/amd64/include/arch/istate.h

    r391996b r8df5f20  
    4747
    4848/** Return true if exception happened while in userspace */
    49 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     49_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    5050{
    5151        return (istate->cs & RPL_USER) == RPL_USER;
    5252}
    5353
    54 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     54_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    5555    uintptr_t retaddr)
    5656{
    … …  
    5858}
    5959
    60 NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
     60_NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
    6161{
    6262        return istate->rip;
    6363}
    6464
    65 NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
     65_NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
    6666{
    6767        return istate->rbp;

  • kernel/arch/amd64/include/arch/mm/page.h

    r391996b r8df5f20  
    207207} __attribute__((packed)) pte_t;
    208208
    209 NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
     209_NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
    210210{
    211211        pte_t *p = &pt[i];
    … …  
    220220}
    221221
    222 NO_TRACE static inline void set_pt_addr(pte_t *pt, size_t i, uintptr_t a)
     222_NO_TRACE static inline void set_pt_addr(pte_t *pt, size_t i, uintptr_t a)
    223223{
    224224        pte_t *p = &pt[i];
    … …  
    228228}
    229229
    230 NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
     230_NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
    231231{
    232232        pte_t *p = &pt[i];
    … …  
    245245}
    246246
    247 NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
     247_NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
    248248{
    249249        pte_t *p = &pt[i];

  • kernel/arch/arm32/include/arch/asm.h

    r391996b r8df5f20  
    5656 * only for armv6+.
    5757 */
    58 NO_TRACE static inline void cpu_sleep(void)
     58_NO_TRACE static inline void cpu_sleep(void)
    5959{
    6060#ifdef PROCESSOR_ARCH_armv7_a
    … …  
    6565}
    6666
    67 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
     67_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
    6868{
    6969        *port = v;
    7070}
    7171
    72 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
     72_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
    7373{
    7474        *port = v;
    7575}
    7676
    77 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
     77_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
    7878{
    7979        *port = v;
    8080}
    8181
    82 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     82_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    8383{
    8484        return *port;
    8585}
    8686
    87 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     87_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    8888{
    8989        return *port;
    9090}
    9191
    92 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     92_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    9393{
    9494        return *port;
    … …  
    102102 *
    103103 */
    104 NO_TRACE static inline uintptr_t get_stack_base(void)
     104_NO_TRACE static inline uintptr_t get_stack_base(void)
    105105{
    106106        uintptr_t v;

  • kernel/arch/arm32/include/arch/cycle.h

    r391996b r8df5f20  
    4747 *
    4848 */
    49 NO_TRACE static inline uint64_t get_cycle(void)
     49_NO_TRACE static inline uint64_t get_cycle(void)
    5050{
    5151#ifdef PROCESSOR_ARCH_armv7_a

  • kernel/arch/arm32/include/arch/istate.h

    r391996b r8df5f20  
    5555 *
    5656 */
    57 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     57_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    5858    uintptr_t retaddr)
    5959{
    … …  
    6262
    6363/** Return true if exception happened while in userspace. */
    64 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     64_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    6565{
    6666        return (istate->spsr & STATUS_REG_MODE_MASK) == USER_MODE;
    … …  
    6868
    6969/** Return Program Counter member of given istate structure. */
    70 NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
     70_NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
    7171{
    7272        return istate->pc;
    7373}
    7474
    75 NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
     75_NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
    7676{
    7777        return istate->fp;

  • kernel/arch/arm32/include/arch/mm/page.h

    r391996b r8df5f20  
    151151 * set_pt_level1_flags (kernel/arch/arm32/include/arch/mm/page_armv6.h)
    152152 */
    153 NO_TRACE static inline void set_ptl0_addr(pte_t *pt)
     153_NO_TRACE static inline void set_ptl0_addr(pte_t *pt)
    154154{
    155155        uint32_t val = (uint32_t)pt & TTBR_ADDR_MASK;
    … …  
    161161}
    162162
    163 NO_TRACE static inline void set_ptl1_addr(pte_t *pt, size_t i, uintptr_t address)
     163_NO_TRACE static inline void set_ptl1_addr(pte_t *pt, size_t i, uintptr_t address)
    164164{
    165165        pt[i].l0.coarse_table_addr = address >> 10;
    … …  
    167167}
    168168
    169 NO_TRACE static inline void set_ptl3_addr(pte_t *pt, size_t i, uintptr_t address)
     169_NO_TRACE static inline void set_ptl3_addr(pte_t *pt, size_t i, uintptr_t address)
    170170{
    171171        pt[i].l1.frame_base_addr = address >> 12;

  • kernel/arch/arm32/include/arch/mm/page_armv4.h

    r391996b r8df5f20  
    137137 *
    138138 */
    139 NO_TRACE static inline int get_pt_level0_flags(pte_t *pt, size_t i)
     139_NO_TRACE static inline int get_pt_level0_flags(pte_t *pt, size_t i)
    140140{
    141141        pte_level0_t *p = &pt[i].l0;
    … …  
    153153 *
    154154 */
    155 NO_TRACE static inline int get_pt_level1_flags(pte_t *pt, size_t i)
     155_NO_TRACE static inline int get_pt_level1_flags(pte_t *pt, size_t i)
    156156{
    157157        pte_level1_t *p = &pt[i].l1;
    … …  
    178178 *
    179179 */
    180 NO_TRACE static inline void set_pt_level0_flags(pte_t *pt, size_t i, int flags)
     180_NO_TRACE static inline void set_pt_level0_flags(pte_t *pt, size_t i, int flags)
    181181{
    182182        pte_level0_t *p = &pt[i].l0;
    … …  
    206206 *
    207207 */
    208 NO_TRACE static inline void set_pt_level1_flags(pte_t *pt, size_t i, int flags)
     208_NO_TRACE static inline void set_pt_level1_flags(pte_t *pt, size_t i, int flags)
    209209{
    210210        pte_level1_t *p = &pt[i].l1;
    … …  
    236236}
    237237
    238 NO_TRACE static inline void set_pt_level0_present(pte_t *pt, size_t i)
     238_NO_TRACE static inline void set_pt_level0_present(pte_t *pt, size_t i)
    239239{
    240240        pte_level0_t *p = &pt[i].l0;
    … …  
    245245}
    246246
    247 NO_TRACE static inline void set_pt_level1_present(pte_t *pt, size_t i)
     247_NO_TRACE static inline void set_pt_level1_present(pte_t *pt, size_t i)
    248248{
    249249        pte_level1_t *p = &pt[i].l1;

  • kernel/arch/arm32/include/arch/mm/page_armv6.h

    r391996b r8df5f20  
    164164 *
    165165 */
    166 NO_TRACE static inline int get_pt_level0_flags(pte_t *pt, size_t i)
     166_NO_TRACE static inline int get_pt_level0_flags(pte_t *pt, size_t i)
    167167{
    168168        const pte_level0_t *p = &pt[i].l0;
    … …  
    180180 *
    181181 */
    182 NO_TRACE static inline int get_pt_level1_flags(pte_t *pt, size_t i)
     182_NO_TRACE static inline int get_pt_level1_flags(pte_t *pt, size_t i)
    183183{
    184184        const pte_level1_t *p = &pt[i].l1;
    … …  
    206206 *
    207207 */
    208 NO_TRACE static inline void set_pt_level0_flags(pte_t *pt, size_t i, int flags)
     208_NO_TRACE static inline void set_pt_level0_flags(pte_t *pt, size_t i, int flags)
    209209{
    210210        pte_level0_t *p = &pt[i].l0;
    … …  
    239239 *
    240240 */
    241 NO_TRACE static inline void set_pt_level1_flags(pte_t *pt, size_t i, int flags)
     241_NO_TRACE static inline void set_pt_level1_flags(pte_t *pt, size_t i, int flags)
    242242{
    243243        pte_level1_t *p = &pt[i].l1;
    … …  
    297297}
    298298
    299 NO_TRACE static inline void set_pt_level0_present(pte_t *pt, size_t i)
     299_NO_TRACE static inline void set_pt_level0_present(pte_t *pt, size_t i)
    300300{
    301301        pte_level0_t *p = &pt[i].l0;
    … …  
    307307}
    308308
    309 NO_TRACE static inline void set_pt_level1_present(pte_t *pt, size_t i)
     309_NO_TRACE static inline void set_pt_level1_present(pte_t *pt, size_t i)
    310310{
    311311        pte_level1_t *p = &pt[i].l1;

  • kernel/arch/ia32/include/arch/asm.h

    r391996b r8df5f20  
    4848 *
    4949 */
    50 NO_TRACE static inline __attribute__((noreturn)) void cpu_halt(void)
     50_NO_TRACE static inline __attribute__((noreturn)) void cpu_halt(void)
    5151{
    5252        while (true) {
    … …  
    5757}
    5858
    59 NO_TRACE static inline void cpu_sleep(void)
     59_NO_TRACE static inline void cpu_sleep(void)
    6060{
    6161        asm volatile (
    … …  
    6464}
    6565
    66 #define GEN_READ_REG(reg) NO_TRACE static inline sysarg_t read_ ##reg (void) \
     66#define GEN_READ_REG(reg) _NO_TRACE static inline sysarg_t read_ ##reg (void) \
    6767        { \
    6868                sysarg_t res; \
    … …  
    7474        }
    7575
    76 #define GEN_WRITE_REG(reg) NO_TRACE static inline void write_ ##reg (sysarg_t regn) \
     76#define GEN_WRITE_REG(reg) _NO_TRACE static inline void write_ ##reg (sysarg_t regn) \
    7777        { \
    7878                asm volatile ( \
    … …  
    113113 *
    114114 */
    115 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t val)
     115_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t val)
    116116{
    117117        if (port < (ioport8_t *) IO_SPACE_BOUNDARY) {
    … …  
    132132 *
    133133 */
    134 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t val)
     134_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t val)
    135135{
    136136        if (port < (ioport16_t *) IO_SPACE_BOUNDARY) {
    … …  
    151151 *
    152152 */
    153 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t val)
     153_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t val)
    154154{
    155155        if (port < (ioport32_t *) IO_SPACE_BOUNDARY) {
    … …  
    170170 *
    171171 */
    172 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     172_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    173173{
    174174        if (((void *)port) < IO_SPACE_BOUNDARY) {
    … …  
    194194 *
    195195 */
    196 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     196_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    197197{
    198198        if (((void *)port) < IO_SPACE_BOUNDARY) {
    … …  
    218218 *
    219219 */
    220 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     220_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    221221{
    222222        if (((void *)port) < IO_SPACE_BOUNDARY) {
    … …  
    234234}
    235235
    236 NO_TRACE static inline uint32_t read_eflags(void)
     236_NO_TRACE static inline uint32_t read_eflags(void)
    237237{
    238238        uint32_t eflags;
    … …  
    247247}
    248248
    249 NO_TRACE static inline void write_eflags(uint32_t eflags)
     249_NO_TRACE static inline void write_eflags(uint32_t eflags)
    250250{
    251251        asm volatile (
    … …  
    261261 *
    262262 */
    263 NO_TRACE static inline ipl_t interrupts_read(void)
     263_NO_TRACE static inline ipl_t interrupts_read(void)
    264264{
    265265        return (ipl_t) read_eflags();
    … …  
    273273 *
    274274 */
    275 NO_TRACE static inline ipl_t interrupts_enable(void)
     275_NO_TRACE static inline ipl_t interrupts_enable(void)
    276276{
    277277        ipl_t ipl = interrupts_read();
    … …  
    289289 *
    290290 */
    291 NO_TRACE static inline ipl_t interrupts_disable(void)
     291_NO_TRACE static inline ipl_t interrupts_disable(void)
    292292{
    293293        ipl_t ipl = interrupts_read();
    … …  
    305305 *
    306306 */
    307 NO_TRACE static inline void interrupts_restore(ipl_t ipl)
     307_NO_TRACE static inline void interrupts_restore(ipl_t ipl)
    308308{
    309309        write_eflags((uint32_t) ipl);
    … …  
    315315 *
    316316 */
    317 NO_TRACE static inline bool interrupts_disabled(void)
     317_NO_TRACE static inline bool interrupts_disabled(void)
    318318{
    319319        return ((read_eflags() & EFLAGS_IF) == 0);
    … …  
    323323
    324324/** Write to MSR */
    325 NO_TRACE static inline void write_msr(uint32_t msr, uint64_t value)
     325_NO_TRACE static inline void write_msr(uint32_t msr, uint64_t value)
    326326{
    327327        asm volatile (
    … …  
    333333}
    334334
    335 NO_TRACE static inline uint64_t read_msr(uint32_t msr)
     335_NO_TRACE static inline uint64_t read_msr(uint32_t msr)
    336336{
    337337        uint32_t ax, dx;
    … …  
    356356 *
    357357 */
    358 NO_TRACE static inline uintptr_t get_stack_base(void)
     358_NO_TRACE static inline uintptr_t get_stack_base(void)
    359359{
    360360        uintptr_t v;
    … …  
    374374 *
    375375 */
    376 NO_TRACE static inline void invlpg(uintptr_t addr)
     376_NO_TRACE static inline void invlpg(uintptr_t addr)
    377377{
    378378        asm volatile (
    … …  
    387387 *
    388388 */
    389 NO_TRACE static inline void gdtr_load(ptr_16_32_t *gdtr_reg)
     389_NO_TRACE static inline void gdtr_load(ptr_16_32_t *gdtr_reg)
    390390{
    391391        asm volatile (
    … …  
    400400 *
    401401 */
    402 NO_TRACE static inline void gdtr_store(ptr_16_32_t *gdtr_reg)
     402_NO_TRACE static inline void gdtr_store(ptr_16_32_t *gdtr_reg)
    403403{
    404404        asm volatile (
    … …  
    413413 *
    414414 */
    415 NO_TRACE static inline void idtr_load(ptr_16_32_t *idtr_reg)
     415_NO_TRACE static inline void idtr_load(ptr_16_32_t *idtr_reg)
    416416{
    417417        asm volatile (
    … …  
    426426 *
    427427 */
    428 NO_TRACE static inline void tr_load(uint16_t sel)
     428_NO_TRACE static inline void tr_load(uint16_t sel)
    429429{
    430430        asm volatile (
    … …  
    439439 *
    440440 */
    441 NO_TRACE static inline void gs_load(uint16_t sel)
     441_NO_TRACE static inline void gs_load(uint16_t sel)
    442442{
    443443        asm volatile (

  • kernel/arch/ia32/include/arch/cycle.h

    r391996b r8df5f20  
    3838#include <trace.h>
    3939
    40 NO_TRACE static inline uint64_t get_cycle(void)
     40_NO_TRACE static inline uint64_t get_cycle(void)
    4141{
    4242#ifdef PROCESSOR_i486

  • kernel/arch/ia32/include/arch/istate.h

    r391996b r8df5f20  
    4747
    4848/** Return true if exception happened while in userspace */
    49 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     49_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    5050{
    5151        return (istate->cs & RPL_USER) == RPL_USER;
    5252}
    5353
    54 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     54_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    5555    uintptr_t retaddr)
    5656{
    … …  
    5858}
    5959
    60 NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
     60_NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
    6161{
    6262        return istate->eip;
    6363}
    6464
    65 NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
     65_NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
    6666{
    6767        return istate->ebp;

  • kernel/arch/ia32/include/arch/mm/page.h

    r391996b r8df5f20  
    180180} __attribute__((packed)) pte_t;
    181181
    182 NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
     182_NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
    183183{
    184184        pte_t *p = &pt[i];
    … …  
    193193}
    194194
    195 NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
     195_NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
    196196{
    197197        pte_t *p = &pt[i];
    … …  
    210210}
    211211
    212 NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
     212_NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
    213213{
    214214        pte_t *p = &pt[i];

  • kernel/arch/ia64/include/arch/asm.h

    r391996b r8df5f20  
    4545
    4646/** Map the I/O port address to a legacy I/O address. */
    47 NO_TRACE static inline uintptr_t p2a(volatile void *p)
     47_NO_TRACE static inline uintptr_t p2a(volatile void *p)
    4848{
    4949        uintptr_t prt = (uintptr_t) p;
    … …  
    5252}
    5353
    54 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
     54_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
    5555{
    5656        if (port < (ioport8_t *) IO_SPACE_BOUNDARY)
    … …  
    6666}
    6767
    68 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
     68_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
    6969{
    7070        if (port < (ioport16_t *) IO_SPACE_BOUNDARY)
    … …  
    8080}
    8181
    82 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
     82_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
    8383{
    8484        if (port < (ioport32_t *) IO_SPACE_BOUNDARY)
    … …  
    9494}
    9595
    96 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     96_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    9797{
    9898        uint8_t v;
    … …  
    116116}
    117117
    118 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     118_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    119119{
    120120        uint16_t v;
    … …  
    138138}
    139139
    140 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     140_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    141141{
    142142        uint32_t v;
    … …  
    166166 * The memory stack must start on page boundary.
    167167 */
    168 NO_TRACE static inline uintptr_t get_stack_base(void)
     168_NO_TRACE static inline uintptr_t get_stack_base(void)
    169169{
    170170        uint64_t value;
    … …  
    183183 *
    184184 */
    185 NO_TRACE static inline uint64_t psr_read(void)
     185_NO_TRACE static inline uint64_t psr_read(void)
    186186{
    187187        uint64_t v;
    … …  
    200200 *
    201201 */
    202 NO_TRACE static inline uint64_t iva_read(void)
     202_NO_TRACE static inline uint64_t iva_read(void)
    203203{
    204204        uint64_t v;
    … …  
    217217 *
    218218 */
    219 NO_TRACE static inline void iva_write(uint64_t v)
     219_NO_TRACE static inline void iva_write(uint64_t v)
    220220{
    221221        asm volatile (
    … …  
    231231 *
    232232 */
    233 NO_TRACE static inline uint64_t ivr_read(void)
     233_NO_TRACE static inline uint64_t ivr_read(void)
    234234{
    235235        uint64_t v;
    … …  
    243243}
    244244
    245 NO_TRACE static inline uint64_t cr64_read(void)
     245_NO_TRACE static inline uint64_t cr64_read(void)
    246246{
    247247        uint64_t v;
    … …  
    260260 *
    261261 */
    262 NO_TRACE static inline void itc_write(uint64_t v)
     262_NO_TRACE static inline void itc_write(uint64_t v)
    263263{
    264264        asm volatile (
    … …  
    273273 *
    274274 */
    275 NO_TRACE static inline uint64_t itc_read(void)
     275_NO_TRACE static inline uint64_t itc_read(void)
    276276{
    277277        uint64_t v;
    … …  
    290290 *
    291291 */
    292 NO_TRACE static inline void itm_write(uint64_t v)
     292_NO_TRACE static inline void itm_write(uint64_t v)
    293293{
    294294        asm volatile (
    … …  
    303303 *
    304304 */
    305 NO_TRACE static inline uint64_t itm_read(void)
     305_NO_TRACE static inline uint64_t itm_read(void)
    306306{
    307307        uint64_t v;
    … …  
    320320 *
    321321 */
    322 NO_TRACE static inline uint64_t itv_read(void)
     322_NO_TRACE static inline uint64_t itv_read(void)
    323323{
    324324        uint64_t v;
    … …  
    337337 *
    338338 */
    339 NO_TRACE static inline void itv_write(uint64_t v)
     339_NO_TRACE static inline void itv_write(uint64_t v)
    340340{
    341341        asm volatile (
    … …  
    350350 *
    351351 */
    352 NO_TRACE static inline void eoi_write(uint64_t v)
     352_NO_TRACE static inline void eoi_write(uint64_t v)
    353353{
    354354        asm volatile (
    … …  
    363363 *
    364364 */
    365 NO_TRACE static inline uint64_t tpr_read(void)
     365_NO_TRACE static inline uint64_t tpr_read(void)
    366366{
    367367        uint64_t v;
    … …  
    380380 *
    381381 */
    382 NO_TRACE static inline void tpr_write(uint64_t v)
     382_NO_TRACE static inline void tpr_write(uint64_t v)
    383383{
    384384        asm volatile (
    … …  
    396396 *
    397397 */
    398 NO_TRACE static ipl_t interrupts_disable(void)
     398_NO_TRACE static ipl_t interrupts_disable(void)
    399399{
    400400        uint64_t v;
    … …  
    418418 *
    419419 */
    420 NO_TRACE static ipl_t interrupts_enable(void)
     420_NO_TRACE static ipl_t interrupts_enable(void)
    421421{
    422422        uint64_t v;
    … …  
    441441 *
    442442 */
    443 NO_TRACE static inline void interrupts_restore(ipl_t ipl)
     443_NO_TRACE static inline void interrupts_restore(ipl_t ipl)
    444444{
    445445        if (ipl & PSR_I_MASK)
    … …  
    454454 *
    455455 */
    456 NO_TRACE static inline ipl_t interrupts_read(void)
     456_NO_TRACE static inline ipl_t interrupts_read(void)
    457457{
    458458        return (ipl_t) psr_read();
    … …  
    464464 *
    465465 */
    466 NO_TRACE static inline bool interrupts_disabled(void)
     466_NO_TRACE static inline bool interrupts_disabled(void)
    467467{
    468468        return !(psr_read() & PSR_I_MASK);
    … …  
    470470
    471471/** Disable protection key checking. */
    472 NO_TRACE static inline void pk_disable(void)
     472_NO_TRACE static inline void pk_disable(void)
    473473{
    474474        asm volatile (

  • kernel/arch/ia64/include/arch/cpu.h

    r391996b r8df5f20  
    6464 *
    6565 */
    66 NO_TRACE static inline uint64_t cpuid_read(int n)
     66_NO_TRACE static inline uint64_t cpuid_read(int n)
    6767{
    6868        uint64_t v;
    … …  
    7777}
    7878
    79 NO_TRACE static inline int ia64_get_cpu_id(void)
     79_NO_TRACE static inline int ia64_get_cpu_id(void)
    8080{
    8181        uint64_t cr64 = cr64_read();
    … …  
    8383}
    8484
    85 NO_TRACE static inline int ia64_get_cpu_eid(void)
     85_NO_TRACE static inline int ia64_get_cpu_eid(void)
    8686{
    8787        uint64_t cr64 = cr64_read();
    … …  
    8989}
    9090
    91 NO_TRACE static inline void ipi_send_ipi(int id, int eid, int intno)
     91_NO_TRACE static inline void ipi_send_ipi(int id, int eid, int intno)
    9292{
    9393        (bootinfo->sapic)[2 * (id * 256 + eid)] = intno;

  • kernel/arch/ia64/include/arch/cycle.h

    r391996b r8df5f20  
    3838#include <trace.h>
    3939
    40 NO_TRACE static inline uint64_t get_cycle(void)
     40_NO_TRACE static inline uint64_t get_cycle(void)
    4141{
    4242        return 0;

  • kernel/arch/ia64/include/arch/istate.h

    r391996b r8df5f20  
    5050#endif /* KERNEL */
    5151
    52 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     52_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    5353    uintptr_t retaddr)
    5454{
    … …  
    5757}
    5858
    59 NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
     59_NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
    6060{
    6161        return istate->cr_iip;
    6262}
    6363
    64 NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
     64_NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
    6565{
    6666        /* FIXME */
    … …  
    6969}
    7070
    71 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     71_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    7272{
    7373        return (istate->cr_iip) < 0xe000000000000000ULL;

  • kernel/arch/ia64/include/arch/mm/page.h

    r391996b r8df5f20  
    191191 * @return Address of the head of VHPT collision chain.
    192192 */
    193 NO_TRACE static inline uint64_t thash(uint64_t va)
     193_NO_TRACE static inline uint64_t thash(uint64_t va)
    194194{
    195195        uint64_t ret;
    … …  
    213213 * @return The unique tag for VPN and RID in the collision chain returned by thash().
    214214 */
    215 NO_TRACE static inline uint64_t ttag(uint64_t va)
     215_NO_TRACE static inline uint64_t ttag(uint64_t va)
    216216{
    217217        uint64_t ret;
    … …  
    232232 * @return Current contents of rr[i].
    233233 */
    234 NO_TRACE static inline uint64_t rr_read(size_t i)
     234_NO_TRACE static inline uint64_t rr_read(size_t i)
    235235{
    236236        uint64_t ret;
    … …  
    252252 * @param v Value to be written to rr[i].
    253253 */
    254 NO_TRACE static inline void rr_write(size_t i, uint64_t v)
     254_NO_TRACE static inline void rr_write(size_t i, uint64_t v)
    255255{
    256256        assert(i < REGION_REGISTERS);
    … …  
    267267 * @return Current value stored in PTA.
    268268 */
    269 NO_TRACE static inline uint64_t pta_read(void)
     269_NO_TRACE static inline uint64_t pta_read(void)
    270270{
    271271        uint64_t ret;
    … …  
    283283 * @param v New value to be stored in PTA.
    284284 */
    285 NO_TRACE static inline void pta_write(uint64_t v)
     285_NO_TRACE static inline void pta_write(uint64_t v)
    286286{
    287287        asm volatile (

  • kernel/arch/mips32/include/arch/asm.h

    r391996b r8df5f20  
    4040#include <trace.h>
    4141
    42 NO_TRACE static inline void cpu_sleep(void)
     42_NO_TRACE static inline void cpu_sleep(void)
    4343{
    4444        asm volatile ("wait");
    … …  
    5252 *
    5353 */
    54 NO_TRACE static inline uintptr_t get_stack_base(void)
     54_NO_TRACE static inline uintptr_t get_stack_base(void)
    5555{
    5656        uintptr_t base;
    … …  
    6565}
    6666
    67 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
     67_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
    6868{
    6969        *port = v;
    7070}
    7171
    72 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
     72_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
    7373{
    7474        *port = v;
    7575}
    7676
    77 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
     77_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
    7878{
    7979        *port = v;
    8080}
    8181
    82 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     82_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    8383{
    8484        return *port;
    8585}
    8686
    87 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     87_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    8888{
    8989        return *port;
    9090}
    9191
    92 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     92_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    9393{
    9494        return *port;

  • kernel/arch/mips32/include/arch/cycle.h

    r391996b r8df5f20  
    4040#include <trace.h>
    4141
    42 NO_TRACE static inline uint64_t get_cycle(void)
     42_NO_TRACE static inline uint64_t get_cycle(void)
    4343{
    4444        return ((uint64_t) count_hi << 32) + ((uint64_t) cp0_count_read());

  • kernel/arch/mips32/include/arch/istate.h

    r391996b r8df5f20  
    5050#endif /* KERNEL */
    5151
    52 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     52_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    5353    uintptr_t retaddr)
    5454{
    … …  
    5757
    5858/** Return true if exception happened while in userspace */
    59 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     59_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    6060{
    6161        return istate->status & cp0_status_um_bit;
    6262}
    6363
    64 NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
     64_NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
    6565{
    6666        return istate->epc;
    6767}
    6868
    69 NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
     69_NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
    7070{
    7171        return istate->sp;

  • kernel/arch/mips32/include/arch/mm/page.h

    r391996b r8df5f20  
    161161} pte_t;
    162162
    163 NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
     163_NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
    164164{
    165165        pte_t *p = &pt[i];
    … …  
    174174}
    175175
    176 NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
     176_NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
    177177{
    178178        pte_t *p = &pt[i];
    … …  
    189189}
    190190
    191 NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
     191_NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
    192192{
    193193        pte_t *p = &pt[i];

  • kernel/arch/mips32/include/arch/mm/tlb.h

    r391996b r8df5f20  
    135135 * Probe TLB for Matching Entry.
    136136 */
    137 NO_TRACE static inline void tlbp(void)
     137_NO_TRACE static inline void tlbp(void)
    138138{
    139139        asm volatile ("tlbp\n\t");
    … …  
    144144 * Read Indexed TLB Entry.
    145145 */
    146 NO_TRACE static inline void tlbr(void)
     146_NO_TRACE static inline void tlbr(void)
    147147{
    148148        asm volatile ("tlbr\n\t");
    … …  
    153153 * Write Indexed TLB Entry.
    154154 */
    155 NO_TRACE static inline void tlbwi(void)
     155_NO_TRACE static inline void tlbwi(void)
    156156{
    157157        asm volatile ("tlbwi\n\t");
    … …  
    162162 * Write Random TLB Entry.
    163163 */
    164 NO_TRACE static inline void tlbwr(void)
     164_NO_TRACE static inline void tlbwr(void)
    165165{
    166166        asm volatile ("tlbwr\n\t");

  • kernel/arch/ppc32/include/arch/asm.h

    r391996b r8df5f20  
    4242#include <trace.h>
    4343
    44 NO_TRACE static inline uint32_t msr_read(void)
     44_NO_TRACE static inline uint32_t msr_read(void)
    4545{
    4646        uint32_t msr;
    … …  
    5454}
    5555
    56 NO_TRACE static inline void msr_write(uint32_t msr)
     56_NO_TRACE static inline void msr_write(uint32_t msr)
    5757{
    5858        asm volatile (
    … …  
    6363}
    6464
    65 NO_TRACE static inline void sr_set(uint32_t flags, asid_t asid, uint32_t sr)
     65_NO_TRACE static inline void sr_set(uint32_t flags, asid_t asid, uint32_t sr)
    6666{
    6767        asm volatile (
    … …  
    7474}
    7575
    76 NO_TRACE static inline uint32_t sr_get(uint32_t vaddr)
     76_NO_TRACE static inline uint32_t sr_get(uint32_t vaddr)
    7777{
    7878        uint32_t vsid;
    … …  
    8787}
    8888
    89 NO_TRACE static inline uint32_t sdr1_get(void)
     89_NO_TRACE static inline uint32_t sdr1_get(void)
    9090{
    9191        uint32_t sdr1;
    … …  
    107107 *
    108108 */
    109 NO_TRACE static inline ipl_t interrupts_enable(void)
     109_NO_TRACE static inline ipl_t interrupts_enable(void)
    110110{
    111111        ipl_t ipl = msr_read();
    … …  
    122122 *
    123123 */
    124 NO_TRACE static inline ipl_t interrupts_disable(void)
     124_NO_TRACE static inline ipl_t interrupts_disable(void)
    125125{
    126126        ipl_t ipl = msr_read();
    … …  
    136136 *
    137137 */
    138 NO_TRACE static inline void interrupts_restore(ipl_t ipl)
     138_NO_TRACE static inline void interrupts_restore(ipl_t ipl)
    139139{
    140140        msr_write((msr_read() & (~MSR_EE)) | (ipl & MSR_EE));
    … …  
    148148 *
    149149 */
    150 NO_TRACE static inline ipl_t interrupts_read(void)
     150_NO_TRACE static inline ipl_t interrupts_read(void)
    151151{
    152152        return msr_read();
    … …  
    158158 *
    159159 */
    160 NO_TRACE static inline bool interrupts_disabled(void)
     160_NO_TRACE static inline bool interrupts_disabled(void)
    161161{
    162162        return ((msr_read() & MSR_EE) == 0);
    … …  
    170170 *
    171171 */
    172 NO_TRACE static inline uintptr_t get_stack_base(void)
     172_NO_TRACE static inline uintptr_t get_stack_base(void)
    173173{
    174174        uintptr_t base;
    … …  
    183183}
    184184
    185 NO_TRACE static inline void cpu_sleep(void)
    186 {
    187 }
    188 
    189 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
     185_NO_TRACE static inline void cpu_sleep(void)
     186{
     187}
     188
     189_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
    190190{
    191191        *port = v;
    192192}
    193193
    194 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
     194_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
    195195{
    196196        *port = v;
    197197}
    198198
    199 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
     199_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
    200200{
    201201        *port = v;
    202202}
    203203
    204 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     204_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    205205{
    206206        return *port;
    207207}
    208208
    209 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     209_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    210210{
    211211        return *port;
    212212}
    213213
    214 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     214_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    215215{
    216216        return *port;

  • kernel/arch/ppc32/include/arch/cpu.h

    r391996b r8df5f20  
    4444} __attribute__((packed)) cpu_arch_t;
    4545
    46 NO_TRACE static inline void cpu_version(cpu_arch_t *info)
     46_NO_TRACE static inline void cpu_version(cpu_arch_t *info)
    4747{
    4848        asm volatile (

  • kernel/arch/ppc32/include/arch/cycle.h

    r391996b r8df5f20  
    3838#include <trace.h>
    3939
    40 NO_TRACE static inline uint64_t get_cycle(void)
     40_NO_TRACE static inline uint64_t get_cycle(void)
    4141{
    4242        uint32_t lower;

  • kernel/arch/ppc32/include/arch/istate.h

    r391996b r8df5f20  
    5050#endif /* KERNEL */
    5151
    52 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     52_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    5353    uintptr_t retaddr)
    5454{
    … …  
    6161 *
    6262 */
    63 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     63_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    6464{
    6565        return (istate->srr1 & MSR_PR) != 0;
    6666}
    6767
    68 NO_TRACE static inline sysarg_t istate_get_pc(istate_t *istate)
     68_NO_TRACE static inline sysarg_t istate_get_pc(istate_t *istate)
    6969{
    7070        return istate->pc;
    7171}
    7272
    73 NO_TRACE static inline sysarg_t istate_get_fp(istate_t *istate)
     73_NO_TRACE static inline sysarg_t istate_get_fp(istate_t *istate)
    7474{
    7575        return istate->sp;

  • kernel/arch/ppc32/include/arch/mm/frame.h

    r391996b r8df5f20  
    4646#include <trace.h>
    4747
    48 NO_TRACE static inline uint32_t physmem_top(void)
     48_NO_TRACE static inline uint32_t physmem_top(void)
    4949{
    5050        uint32_t physmem;

  • kernel/arch/ppc32/include/arch/mm/page.h

    r391996b r8df5f20  
    162162} pte_t;
    163163
    164 NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
     164_NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
    165165{
    166166        pte_t *entry = &pt[i];
    … …  
    175175}
    176176
    177 NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
     177_NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
    178178{
    179179        pte_t *entry = &pt[i];
    … …  
    185185}
    186186
    187 NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
     187_NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
    188188{
    189189        pte_t *entry = &pt[i];

  • kernel/arch/riscv64/include/arch/asm.h

    r391996b r8df5f20  
    4242#include <trace.h>
    4343
    44 NO_TRACE static inline ipl_t interrupts_enable(void)
     44_NO_TRACE static inline ipl_t interrupts_enable(void)
    4545{
    4646        ipl_t ipl;
    … …  
    5454}
    5555
    56 NO_TRACE static inline ipl_t interrupts_disable(void)
     56_NO_TRACE static inline ipl_t interrupts_disable(void)
    5757{
    5858        ipl_t ipl;
    … …  
    6666}
    6767
    68 NO_TRACE static inline void interrupts_restore(ipl_t ipl)
     68_NO_TRACE static inline void interrupts_restore(ipl_t ipl)
    6969{
    7070        if ((ipl & SSTATUS_SIE_MASK) == SSTATUS_SIE_MASK)
    … …  
    7474}
    7575
    76 NO_TRACE static inline ipl_t interrupts_read(void)
     76_NO_TRACE static inline ipl_t interrupts_read(void)
    7777{
    7878        ipl_t ipl;
    … …  
    8686}
    8787
    88 NO_TRACE static inline bool interrupts_disabled(void)
     88_NO_TRACE static inline bool interrupts_disabled(void)
    8989{
    9090        return ((interrupts_read() & SSTATUS_SIE_MASK) == 0);
    9191}
    9292
    93 NO_TRACE static inline uintptr_t get_stack_base(void)
     93_NO_TRACE static inline uintptr_t get_stack_base(void)
    9494{
    9595        uintptr_t base;
    … …  
    104104}
    105105
    106 NO_TRACE static inline void cpu_sleep(void)
     106_NO_TRACE static inline void cpu_sleep(void)
    107107{
    108108}
    109109
    110 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
     110_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
    111111{
    112112        *port = v;
    113113}
    114114
    115 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
     115_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
    116116{
    117117        *port = v;
    118118}
    119119
    120 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
     120_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
    121121{
    122122        *port = v;
    123123}
    124124
    125 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     125_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    126126{
    127127        return *port;
    128128}
    129129
    130 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     130_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    131131{
    132132        return *port;
    133133}
    134134
    135 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     135_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    136136{
    137137        return *port;

  • kernel/arch/riscv64/include/arch/cycle.h

    r391996b r8df5f20  
    3838#include <trace.h>
    3939
    40 NO_TRACE static inline uint64_t get_cycle(void)
     40_NO_TRACE static inline uint64_t get_cycle(void)
    4141{
    4242        uint64_t cycle;

  • kernel/arch/riscv64/include/arch/istate.h

    r391996b r8df5f20  
    4444#endif
    4545
    46 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     46_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    4747{
    4848        // FIXME
    … …  
    5050}
    5151
    52 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     52_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    5353    uintptr_t retaddr)
    5454{
    … …  
    5656}
    5757
    58 NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
     58_NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
    5959{
    6060        // FIXME
    … …  
    6262}
    6363
    64 NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
     64_NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
    6565{
    6666        // FIXME

  • kernel/arch/riscv64/include/arch/mm/page.h

    r391996b r8df5f20  
    179179} pte_t;
    180180
    181 NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
     181_NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
    182182{
    183183        pte_t *entry = &pt[i];
    … …  
    191191}
    192192
    193 NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
     193_NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
    194194{
    195195        pte_t *entry = &pt[i];
    … …  
    205205}
    206206
    207 NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
     207_NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
    208208{
    209209        pte_t *entry = &pt[i];

  • kernel/arch/sparc64/include/arch/asm.h

    r391996b r8df5f20  
    4444#include <trace.h>
    4545
    46 NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
     46_NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
    4747{
    4848        *port = v;
    … …  
    5050}
    5151
    52 NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
     52_NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
    5353{
    5454        *port = v;
    … …  
    5656}
    5757
    58 NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
     58_NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
    5959{
    6060        *port = v;
    … …  
    6262}
    6363
    64 NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
     64_NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
    6565{
    6666        uint8_t rv = *port;
    … …  
    6969}
    7070
    71 NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
     71_NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
    7272{
    7373        uint16_t rv = *port;
    … …  
    7676}
    7777
    78 NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
     78_NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
    7979{
    8080        uint32_t rv = *port;
    … …  
    8888 *
    8989 */
    90 NO_TRACE static inline uint64_t pstate_read(void)
     90_NO_TRACE static inline uint64_t pstate_read(void)
    9191{
    9292        uint64_t v;
    … …  
    105105 *
    106106 */
    107 NO_TRACE static inline void pstate_write(uint64_t v)
     107_NO_TRACE static inline void pstate_write(uint64_t v)
    108108{
    109109        asm volatile (
    … …  
    119119 *
    120120 */
    121 NO_TRACE static inline uint64_t tick_compare_read(void)
     121_NO_TRACE static inline uint64_t tick_compare_read(void)
    122122{
    123123        uint64_t v;
    … …  
    136136 *
    137137 */
    138 NO_TRACE static inline void tick_compare_write(uint64_t v)
     138_NO_TRACE static inline void tick_compare_write(uint64_t v)
    139139{
    140140        asm volatile (
    … …  
    150150 *
    151151 */
    152 NO_TRACE static inline uint64_t stick_compare_read(void)
     152_NO_TRACE static inline uint64_t stick_compare_read(void)
    153153{
    154154        uint64_t v;
    … …  
    167167 *
    168168 */
    169 NO_TRACE static inline void stick_compare_write(uint64_t v)
     169_NO_TRACE static inline void stick_compare_write(uint64_t v)
    170170{
    171171        asm volatile (
    … …  
    181181 *
    182182 */
    183 NO_TRACE static inline uint64_t tick_read(void)
     183_NO_TRACE static inline uint64_t tick_read(void)
    184184{
    185185        uint64_t v;
    … …  
    198198 *
    199199 */
    200 NO_TRACE static inline void tick_write(uint64_t v)
     200_NO_TRACE static inline void tick_write(uint64_t v)
    201201{
    202202        asm volatile (
    … …  
    212212 *
    213213 */
    214 NO_TRACE static inline uint64_t fprs_read(void)
     214_NO_TRACE static inline uint64_t fprs_read(void)
    215215{
    216216        uint64_t v;
    … …  
    229229 *
    230230 */
    231 NO_TRACE static inline void fprs_write(uint64_t v)
     231_NO_TRACE static inline void fprs_write(uint64_t v)
    232232{
    233233        asm volatile (
    … …  
    243243 *
    244244 */
    245 NO_TRACE static inline uint64_t softint_read(void)
     245_NO_TRACE static inline uint64_t softint_read(void)
    246246{
    247247        uint64_t v;
    … …  
    260260 *
    261261 */
    262 NO_TRACE static inline void softint_write(uint64_t v)
     262_NO_TRACE static inline void softint_write(uint64_t v)
    263263{
    264264        asm volatile (
    … …  
    276276 *
    277277 */
    278 NO_TRACE static inline void clear_softint_write(uint64_t v)
     278_NO_TRACE static inline void clear_softint_write(uint64_t v)
    279279{
    280280        asm volatile (
    … …  
    292292 *
    293293 */
    294 NO_TRACE static inline void set_softint_write(uint64_t v)
     294_NO_TRACE static inline void set_softint_write(uint64_t v)
    295295{
    296296        asm volatile (
    … …  
    309309 *
    310310 */
    311 NO_TRACE static inline ipl_t interrupts_enable(void)
     311_NO_TRACE static inline ipl_t interrupts_enable(void)
    312312{
    313313        pstate_reg_t pstate;
    … …  
    329329 *
    330330 */
    331 NO_TRACE static inline ipl_t interrupts_disable(void)
     331_NO_TRACE static inline ipl_t interrupts_disable(void)
    332332{
    333333        pstate_reg_t pstate;
    … …  
    348348 *
    349349 */
    350 NO_TRACE static inline void interrupts_restore(ipl_t ipl)
     350_NO_TRACE static inline void interrupts_restore(ipl_t ipl)
    351351{
    352352        pstate_reg_t pstate;
    … …  
    364364 *
    365365 */
    366 NO_TRACE static inline ipl_t interrupts_read(void)
     366_NO_TRACE static inline ipl_t interrupts_read(void)
    367367{
    368368        return (ipl_t) pstate_read();
    … …  
    374374 *
    375375 */
    376 NO_TRACE static inline bool interrupts_disabled(void)
     376_NO_TRACE static inline bool interrupts_disabled(void)
    377377{
    378378        pstate_reg_t pstate;
    … …  
    389389 *
    390390 */
    391 NO_TRACE static inline uintptr_t get_stack_base(void)
     391_NO_TRACE static inline uintptr_t get_stack_base(void)
    392392{
    393393        uintptr_t unbiased_sp;
    … …  
    407407 *
    408408 */
    409 NO_TRACE static inline uint64_t ver_read(void)
     409_NO_TRACE static inline uint64_t ver_read(void)
    410410{
    411411        uint64_t v;
    … …  
    424424 *
    425425 */
    426 NO_TRACE static inline uint64_t tpc_read(void)
     426_NO_TRACE static inline uint64_t tpc_read(void)
    427427{
    428428        uint64_t v;
    … …  
    441441 *
    442442 */
    443 NO_TRACE static inline uint64_t tl_read(void)
     443_NO_TRACE static inline uint64_t tl_read(void)
    444444{
    445445        uint64_t v;
    … …  
    458458 *
    459459 */
    460 NO_TRACE static inline uint64_t tba_read(void)
     460_NO_TRACE static inline uint64_t tba_read(void)
    461461{
    462462        uint64_t v;
    … …  
    475475 *
    476476 */
    477 NO_TRACE static inline void tba_write(uint64_t v)
     477_NO_TRACE static inline void tba_write(uint64_t v)
    478478{
    479479        asm volatile (
    … …  
    493493 *
    494494 */
    495 NO_TRACE static inline uint64_t asi_u64_read(asi_t asi, uintptr_t va)
     495_NO_TRACE static inline uint64_t asi_u64_read(asi_t asi, uintptr_t va)
    496496{
    497497        uint64_t v;
    … …  
    514514 *
    515515 */
    516 NO_TRACE static inline void asi_u64_write(asi_t asi, uintptr_t va, uint64_t v)
     516_NO_TRACE static inline void asi_u64_write(asi_t asi, uintptr_t va, uint64_t v)
    517517{
    518518        asm volatile (
    … …  
    526526
    527527/** Flush all valid register windows to memory. */
    528 NO_TRACE static inline void flushw(void)
     528_NO_TRACE static inline void flushw(void)
    529529{
    530530        asm volatile ("flushw\n");
    … …  
    532532
    533533/** Switch to nucleus by setting TL to 1. */
    534 NO_TRACE static inline void nucleus_enter(void)
     534_NO_TRACE static inline void nucleus_enter(void)
    535535{
    536536        asm volatile ("wrpr %g0, 1, %tl\n");
    … …  
    538538
    539539/** Switch from nucleus by setting TL to 0. */
    540 NO_TRACE static inline void nucleus_leave(void)
     540_NO_TRACE static inline void nucleus_leave(void)
    541541{
    542542        asm volatile ("wrpr %g0, %g0, %tl\n");

  • kernel/arch/sparc64/include/arch/barrier.h

    r391996b r8df5f20  
    3939
    4040/** Flush Instruction pipeline. */
    41 NO_TRACE static inline void flush_pipeline(void)
     41_NO_TRACE static inline void flush_pipeline(void)
    4242{
    4343        unsigned long pc;
    … …  
    6262
    6363/** Memory Barrier instruction. */
    64 NO_TRACE static inline void membar(void)
     64_NO_TRACE static inline void membar(void)
    6565{
    6666        asm volatile (

  • kernel/arch/sparc64/include/arch/cycle.h

    r391996b r8df5f20  
    3939#include <trace.h>
    4040
    41 NO_TRACE static inline uint64_t get_cycle(void)
     41_NO_TRACE static inline uint64_t get_cycle(void)
    4242{
    4343        return tick_read();

  • kernel/arch/sparc64/include/arch/istate.h

    r391996b r8df5f20  
    5151#endif /* KERNEL */
    5252
    53 NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
     53_NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
    5454    uintptr_t retaddr)
    5555{
    … …  
    5757}
    5858
    59 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
     59_NO_TRACE static inline int istate_from_uspace(istate_t *istate)
    6060{
    6161        return !(istate->tstate & TSTATE_PRIV_BIT);
    6262}
    6363
    64 NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
     64_NO_TRACE static inline uintptr_t istate_get_pc(istate_t *istate)
    6565{
    6666        return istate->tpc;
    6767}
    6868
    69 NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
     69_NO_TRACE static inline uintptr_t istate_get_fp(istate_t *istate)
    7070{
    7171        /* TODO */

  • kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h

    r391996b r8df5f20  
    243243 * Determine the number of entries in the DMMU's small TLB.
    244244 */
    245 NO_TRACE static inline uint16_t tlb_dsmall_size(void)
     245_NO_TRACE static inline uint16_t tlb_dsmall_size(void)
    246246{
    247247        return 16;
    … …  
    251251 * Determine the number of entries in each DMMU's big TLB.
    252252 */
    253 NO_TRACE static inline uint16_t tlb_dbig_size(void)
     253_NO_TRACE static inline uint16_t tlb_dbig_size(void)
    254254{
    255255        return 512;
    … …  
    259259 * Determine the number of entries in the IMMU's small TLB.
    260260 */
    261 NO_TRACE static inline uint16_t tlb_ismall_size(void)
     261_NO_TRACE static inline uint16_t tlb_ismall_size(void)
    262262{
    263263        return 16;
    … …  
    267267 * Determine the number of entries in the IMMU's big TLB.
    268268 */
    269 NO_TRACE static inline uint16_t tlb_ibig_size(void)
     269_NO_TRACE static inline uint16_t tlb_ibig_size(void)
    270270{
    271271        if (((ver_reg_t) ver_read()).impl == IMPL_ULTRASPARCIV_PLUS)
    … …  
    281281 * @return              Current value of Primary Context Register.
    282282 */
    283 NO_TRACE static inline uint64_t mmu_primary_context_read(void)
     283_NO_TRACE static inline uint64_t mmu_primary_context_read(void)
    284284{
    285285        return asi_u64_read(ASI_DMMU, VA_PRIMARY_CONTEXT_REG);
    … …  
    290290 * @param v             New value of Primary Context Register.
    291291 */
    292 NO_TRACE static inline void mmu_primary_context_write(uint64_t v)
     292_NO_TRACE static inline void mmu_primary_context_write(uint64_t v)
    293293{
    294294        asi_u64_write(ASI_DMMU, VA_PRIMARY_CONTEXT_REG, v);
    … …  
    300300 * @return              Current value of Secondary Context Register.
    301301 */
    302 NO_TRACE static inline uint64_t mmu_secondary_context_read(void)
     302_NO_TRACE static inline uint64_t mmu_secondary_context_read(void)
    303303{
    304304        return asi_u64_read(ASI_DMMU, VA_SECONDARY_CONTEXT_REG);
    … …  
    309309 * @param v             New value of Primary Context Register.
    310310 */
    311 NO_TRACE static inline void mmu_secondary_context_write(uint64_t v)
     311_NO_TRACE static inline void mmu_secondary_context_write(uint64_t v)
    312312{
    313313        asi_u64_write(ASI_DMMU, VA_SECONDARY_CONTEXT_REG, v);
    … …  
    324324 *                      Register.
    325325 */
    326 NO_TRACE static inline uint64_t itlb_data_access_read(size_t entry)
     326_NO_TRACE static inline uint64_t itlb_data_access_read(size_t entry)
    327327{
    328328        itlb_data_access_addr_t reg;
    … …  
    338338 * @param value         Value to be written.
    339339 */
    340 NO_TRACE static inline void itlb_data_access_write(size_t entry, uint64_t value)
     340_NO_TRACE static inline void itlb_data_access_write(size_t entry, uint64_t value)
    341341{
    342342        itlb_data_access_addr_t reg;
    … …  
    355355 *                      Register.
    356356 */
    357 NO_TRACE static inline uint64_t dtlb_data_access_read(size_t entry)
     357_NO_TRACE static inline uint64_t dtlb_data_access_read(size_t entry)
    358358{
    359359        dtlb_data_access_addr_t reg;
    … …  
    369369 * @param value         Value to be written.
    370370 */
    371 NO_TRACE static inline void dtlb_data_access_write(size_t entry, uint64_t value)
     371_NO_TRACE static inline void dtlb_data_access_write(size_t entry, uint64_t value)
    372372{
    373373        dtlb_data_access_addr_t reg;
    … …  
    385385 * @return              Current value of specified IMMU TLB Tag Read Register.
    386386 */
    387 NO_TRACE static inline uint64_t itlb_tag_read_read(size_t entry)
     387_NO_TRACE static inline uint64_t itlb_tag_read_read(size_t entry)
    388388{
    389389        itlb_tag_read_addr_t tag;
    … …  
    400400 * @return              Current value of specified DMMU TLB Tag Read Register.
    401401 */
    402 NO_TRACE static inline uint64_t dtlb_tag_read_read(size_t entry)
     402_NO_TRACE static inline uint64_t dtlb_tag_read_read(size_t entry)
    403403{
    404404        dtlb_tag_read_addr_t tag;
    … …  
    419419 *                      Register.
    420420 */
    421 NO_TRACE static inline uint64_t itlb_data_access_read(int tlb, size_t entry)
     421_NO_TRACE static inline uint64_t itlb_data_access_read(int tlb, size_t entry)
    422422{
    423423        itlb_data_access_addr_t reg;
    … …  
    434434 * @param value         Value to be written.
    435435 */
    436 NO_TRACE static inline void itlb_data_access_write(int tlb, size_t entry,
     436_NO_TRACE static inline void itlb_data_access_write(int tlb, size_t entry,
    437437    uint64_t value)
    438438{
    … …  
    454454 *                      Register.
    455455 */
    456 NO_TRACE static inline uint64_t dtlb_data_access_read(int tlb, size_t entry)
     456_NO_TRACE static inline uint64_t dtlb_data_access_read(int tlb, size_t entry)
    457457{
    458458        dtlb_data_access_addr_t reg;
    … …  
    470470 * @param value         Value to be written.
    471471 */
    472 NO_TRACE static inline void dtlb_data_access_write(int tlb, size_t entry,
     472_NO_TRACE static inline void dtlb_data_access_write(int tlb, size_t entry,
    473473    uint64_t value)
    474474{
    … …  
    489489 * @return              Current value of specified IMMU TLB Tag Read Register.
    490490 */
    491 NO_TRACE static inline uint64_t itlb_tag_read_read(int tlb, size_t entry)
     491_NO_TRACE static inline uint64_t itlb_tag_read_read(int tlb, size_t entry)
    492492{
    493493        itlb_tag_read_addr_t tag;
    … …  
    506506 * @return              Current value of specified DMMU TLB Tag Read Register.
    507507 */
    508 NO_TRACE static inline uint64_t dtlb_tag_read_read(int tlb, size_t entry)
     508_NO_TRACE static inline uint64_t dtlb_tag_read_read(int tlb, size_t entry)
    509509{
    510510        dtlb_tag_read_addr_t tag;
    … …  
    522522 * @param v             Value to be written.
    523523 */
    524 NO_TRACE static inline void itlb_tag_access_write(uint64_t v)
     524_NO_TRACE static inline void itlb_tag_access_write(uint64_t v)
    525525{
    526526        asi_u64_write(ASI_IMMU, VA_IMMU_TAG_ACCESS, v);
    … …  
    532532 * @return              Current value of IMMU TLB Tag Access Register.
    533533 */
    534 NO_TRACE static inline uint64_t itlb_tag_access_read(void)
     534_NO_TRACE static inline uint64_t itlb_tag_access_read(void)
    535535{
    536536        return asi_u64_read(ASI_IMMU, VA_IMMU_TAG_ACCESS);
    … …  
    541541 * @param v             Value to be written.
    542542 */
    543 NO_TRACE static inline void dtlb_tag_access_write(uint64_t v)
     543_NO_TRACE static inline void dtlb_tag_access_write(uint64_t v)
    544544{
    545545        asi_u64_write(ASI_DMMU, VA_DMMU_TAG_ACCESS, v);
    … …  
    551551 * @return              Current value of DMMU TLB Tag Access Register.
    552552 */
    553 NO_TRACE static inline uint64_t dtlb_tag_access_read(void)
     553_NO_TRACE static inline uint64_t dtlb_tag_access_read(void)
    554554{
    555555        return asi_u64_read(ASI_DMMU, VA_DMMU_TAG_ACCESS);
    … …  
    560560 * @param v             Value to be written.
    561561 */
    562 NO_TRACE static inline void itlb_data_in_write(uint64_t v)
     562_NO_TRACE static inline void itlb_data_in_write(uint64_t v)
    563563{
    564564        asi_u64_write(ASI_ITLB_DATA_IN_REG, 0, v);
    … …  
    570570 * @param v             Value to be written.
    571571 */
    572 NO_TRACE static inline void dtlb_data_in_write(uint64_t v)
     572_NO_TRACE static inline void dtlb_data_in_write(uint64_t v)
    573573{
    574574        asi_u64_write(ASI_DTLB_DATA_IN_REG, 0, v);
    … …  
    580580 * @return              Current content of I-SFSR register.
    581581 */
    582 NO_TRACE static inline uint64_t itlb_sfsr_read(void)
     582_NO_TRACE static inline uint64_t itlb_sfsr_read(void)
    583583{
    584584        return asi_u64_read(ASI_IMMU, VA_IMMU_SFSR);
    … …  
    589589 * @param v             New value of I-SFSR register.
    590590 */
    591 NO_TRACE static inline void itlb_sfsr_write(uint64_t v)
     591_NO_TRACE static inline void itlb_sfsr_write(uint64_t v)
    592592{
    593593        asi_u64_write(ASI_IMMU, VA_IMMU_SFSR, v);
    … …  
    599599 * @return              Current content of D-SFSR register.
    600600 */
    601 NO_TRACE static inline uint64_t dtlb_sfsr_read(void)
     601_NO_TRACE static inline uint64_t dtlb_sfsr_read(void)
    602602{
    603603        return asi_u64_read(ASI_DMMU, VA_DMMU_SFSR);
    … …  
    608608 * @param v             New value of D-SFSR register.
    609609 */
    610 NO_TRACE static inline void dtlb_sfsr_write(uint64_t v)
     610_NO_TRACE static inline void dtlb_sfsr_write(uint64_t v)
    611611{
    612612        asi_u64_write(ASI_DMMU, VA_DMMU_SFSR, v);
    … …  
    618618 * @return              Current content of D-SFAR register.
    619619 */
    620 NO_TRACE static inline uint64_t dtlb_sfar_read(void)
     620_NO_TRACE static inline uint64_t dtlb_sfar_read(void)
    621621{
    622622        return asi_u64_read(ASI_DMMU, VA_DMMU_SFAR);
    … …  
    631631 * @param page          Address which is on the page to be demapped.
    632632 */
    633 NO_TRACE static inline void itlb_demap(int type, int context_encoding, uintptr_t page)
     633_NO_TRACE static inline void itlb_demap(int type, int context_encoding, uintptr_t page)
    634634{
    635635        tlb_demap_addr_t da;
    … …  
    657657 * @param page          Address which is on the page to be demapped.
    658658 */
    659 NO_TRACE static inline void dtlb_demap(int type, int context_encoding, uintptr_t page)
     659_NO_TRACE static inline void dtlb_demap(int type, int context_encoding, uintptr_t page)
    660660{
    661661        tlb_demap_addr_t da;

  • kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h

    r391996b r8df5f20  
    8888 * @return      Current value of Primary Context Register.
    8989 */
    90 NO_TRACE static inline uint64_t mmu_primary_context_read(void)
     90_NO_TRACE static inline uint64_t mmu_primary_context_read(void)
    9191{
    9292        return asi_u64_read(ASI_PRIMARY_CONTEXT_REG, VA_PRIMARY_CONTEXT_REG);
    … …  
    9797 * @param v     New value of Primary Context Register.
    9898 */
    99 NO_TRACE static inline void mmu_primary_context_write(uint64_t v)
     99_NO_TRACE static inline void mmu_primary_context_write(uint64_t v)
    100100{
    101101        asi_u64_write(ASI_PRIMARY_CONTEXT_REG, VA_PRIMARY_CONTEXT_REG, v);
    … …  
    106106 * @return      Current value of Secondary Context Register.
    107107 */
    108 NO_TRACE static inline uint64_t mmu_secondary_context_read(void)
     108_NO_TRACE static inline uint64_t mmu_secondary_context_read(void)
    109109{
    110110        return asi_u64_read(ASI_SECONDARY_CONTEXT_REG, VA_SECONDARY_CONTEXT_REG);
    … …  
    115115 * @param v     New value of Secondary Context Register.
    116116 */
    117 NO_TRACE static inline void mmu_secondary_context_write(uint64_t v)
     117_NO_TRACE static inline void mmu_secondary_context_write(uint64_t v)
    118118{
    119119        asi_u64_write(ASI_SECONDARY_CONTEXT_REG, VA_SECONDARY_CONTEXT_REG, v);
    … …  
    126126 * @param mmu_flag      MMU_FLAG_DTLB, MMU_FLAG_ITLB or a combination of both
    127127 */
    128 NO_TRACE static inline void mmu_demap_ctx(int context, int mmu_flag)
     128_NO_TRACE static inline void mmu_demap_ctx(int context, int mmu_flag)
    129129{
    130130        __hypercall_fast4(MMU_DEMAP_CTX, 0, 0, context, mmu_flag);
    … …  
    138138 * @param mmu_flag      MMU_FLAG_DTLB, MMU_FLAG_ITLB or a combination of both
    139139 */
    140 NO_TRACE static inline void mmu_demap_page(uintptr_t vaddr, int context, int mmu_flag)
     140_NO_TRACE static inline void mmu_demap_page(uintptr_t vaddr, int context, int mmu_flag)
    141141{
    142142        __hypercall_fast5(MMU_DEMAP_PAGE, 0, 0, vaddr, context, mmu_flag);

  • kernel/arch/sparc64/include/arch/sun4u/asm.h

    r391996b r8df5f20  
    4343 *
    4444 */
    45 NO_TRACE static inline uint64_t ver_read(void)
     45_NO_TRACE static inline uint64_t ver_read(void)
    4646{
    4747        uint64_t v;

  • kernel/arch/sparc64/include/arch/sun4u/cpu.h

    r391996b r8df5f20  
    7676 *
    7777 */
    78 NO_TRACE static inline uint32_t read_mid(void)
     78_NO_TRACE static inline uint32_t read_mid(void)
    7979{
    8080        uint64_t icbus_config = asi_u64_read(ASI_ICBUS_CONFIG, 0);
Note: See TracChangeset for help on using the changeset viewer.