Changeset 482 for trunk/hal/x86_64/core/hal_internal.h
- Timestamp:
- Aug 21, 2018, 9:52:05 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/hal/x86_64/core/hal_internal.h
r368 r482 33 33 /* hal_init.c */ 34 34 void cpu_activate(uint32_t gid); 35 int idt_slot_alloc( );35 int idt_slot_alloc( void ); 36 36 void idt_slot_free(int slot); 37 37 38 38 /* hal_cpu.S */ 39 39 void invlpg(vaddr_t va); 40 void sti( );41 void cli( );42 uint64_t rdtsc( );40 void sti( void ); 41 void cli( void ); 42 uint64_t rdtsc( void ); 43 43 uint8_t in8(uint32_t port); 44 44 uint16_t in16(uint32_t port); … … 47 47 uint64_t rdmsr(uint32_t); 48 48 void wrmsr(uint32_t, uint64_t); 49 void mfence( );49 void mfence( void ); 50 50 uint64_t rcr0(void); 51 51 vaddr_t rcr2(void); … … 55 55 void lcr4(uint64_t); 56 56 void cpuid(uint32_t eax, uint32_t ecx, uint32_t *desc); 57 void tlbflushg( );58 void tlbflush( );59 void clts( );60 void stts( );61 void pause( );62 void wbinvd( );57 void tlbflushg( void ); 58 void tlbflush( void ); 59 void clts( void ); 60 void stts( void ); 61 void pause( void ); 62 void wbinvd( void ); 63 63 64 64 void cpu_context_switch(void *oldctx, void *newctx); … … 72 72 paddr_t hal_gpt_bootstrap_palloc(size_t npages); 73 73 vaddr_t hal_gpt_bootstrap_valloc(size_t npages); 74 void hal_gpt_bootstrap_reset( );75 size_t hal_gpt_bootstrap_uniformize( );74 void hal_gpt_bootstrap_reset( void ); 75 size_t hal_gpt_bootstrap_uniformize( void ); 76 76 77 77 void hal_gpt_enter(vaddr_t va, paddr_t pa, pt_entry_t flags); … … 85 85 86 86 /* x86_printf.c */ 87 void x86_lock( );88 void x86_unlock( );87 void x86_lock( void ); 88 void x86_unlock( void ); 89 89 90 90 void x86_panic(char *msg);
Note: See TracChangeset
for help on using the changeset viewer.