Replaces all __CONFIG_*__ with CONFIG_*
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 31 May 2013 17:26:44 +0000 (10:26 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 31 May 2013 17:36:15 +0000 (10:36 -0700)
For those curious:

$ git grep --color=never --name-only '__CONFIG.*__' | \
  xargs sed -i 's/__\(CONFIG.*\)__/\1/g'

Also, SEQLOCK debugging was never on in the first place (had one _
instead of two __).

34 files changed:
Makeconfig
kern/arch/i686/colored_caches.c
kern/arch/i686/console.c
kern/arch/i686/cpuinfo.c
kern/arch/i686/e1000.c
kern/arch/i686/init.c
kern/arch/i686/kdebug.c
kern/arch/i686/ne2k.c
kern/arch/i686/pci.c
kern/arch/i686/pmap.c
kern/arch/i686/rl8168.c
kern/arch/i686/ros/syscall.h
kern/arch/i686/smp_boot.c
kern/arch/i686/trap.c
kern/arch/sparc/console.c
kern/include/atomic.h
kern/src/atomic.c
kern/src/blockdev.c
kern/src/colored_caches.c
kern/src/eth_audio.c
kern/src/frontend.c
kern/src/init.c
kern/src/kthread.c
kern/src/mm.c
kern/src/monitor.c
kern/src/page_alloc.c
kern/src/schedule.c
kern/src/smp.c
kern/src/syscall.c
kern/src/vfs.c
tests/arsc_mt.c
tests/arsc_test.c
user/parlib/include/spinlock.h
user/parlib/spinlock.c

index 1dd07c4..dd4a0cf 100644 (file)
@@ -2,46 +2,46 @@
 # By default, each of these options will be turned off
 # To enable any of these options, add a line like the following to your Makelocal
 # CFLAGS += $(CONFIG_APPSERVER)
-CONFIG_APPSERVER:=                 -D__CONFIG_APPSERVER__
-CONFIG_DEMO_SLAVE:=                -D__CONFIG_DEMO_SLAVE__
-CONFIG_ARSC_SERVER:=               -D__CONFIG_ARSC_SERVER__
+CONFIG_APPSERVER:=                 -DCONFIG_APPSERVER
+CONFIG_DEMO_SLAVE:=                -DCONFIG_DEMO_SLAVE
+CONFIG_ARSC_SERVER:=               -DCONFIG_ARSC_SERVER
 
 # Kernel configuration parameters
 # By default, each of these options will be turned off
 # To enable any of these options, add a line like the following to your Makelocal
 # KERN_CFLAGS += $(CONFIG_KFS) $(CONFIG_BSD_ON_CORE0)
-CONFIG_KFS:=                       -D__CONFIG_KFS__
-CONFIG_EXT2FS:=                    -D__CONFIG_EXT2FS__
-CONFIG_SINGLE_CORE:=               -D__CONFIG_SINGLE_CORE__
-CONFIG_NETWORKING:=                -D__CONFIG_NETWORKING__
-CONFIG_SERIAL_IO:=                 -D__CONFIG_SERIAL_IO__
-CONFIG_BSD_ON_CORE0:=              -D__CONFIG_BSD_ON_CORE0__
-CONFIG_SEQLOCK_DEBUG:=             -D__CONFIG_SEQLOCK_DEBUG__
-CONFIG_SPINLOCK_DEBUG:=            -D__CONFIG_SPINLOCK_DEBUG__
-CONFIG_SPINPDR_NO_CAS:=            -D__CONFIG_SPINPDR_NO_CAS__
-CONFIG_PAGE_COLORING:=             -D__CONFIG_PAGE_COLORING__
-CONFIG_DEMAND_PAGING:=             -D__CONFIG_DEMAND_PAGING__
-CONFIG_NOMTRRS:=                   -D__CONFIG_NOMTRRS__
-CONFIG_E1000_MMIO_HACK:=           -D__CONFIG_E1000_MMIO_HACK__
+CONFIG_KFS:=                       -DCONFIG_KFS
+CONFIG_EXT2FS:=                    -DCONFIG_EXT2FS
+CONFIG_SINGLE_CORE:=               -DCONFIG_SINGLE_CORE
+CONFIG_NETWORKING:=                -DCONFIG_NETWORKING
+CONFIG_SERIAL_IO:=                 -DCONFIG_SERIAL_IO
+CONFIG_BSD_ON_CORE0:=              -DCONFIG_BSD_ON_CORE0
+CONFIG_SEQLOCK_DEBUG:=             -DCONFIG_SEQLOCK_DEBUG
+CONFIG_SPINLOCK_DEBUG:=            -DCONFIG_SPINLOCK_DEBUG
+CONFIG_SPINPDR_NO_CAS:=            -DCONFIG_SPINPDR_NO_CAS
+CONFIG_PAGE_COLORING:=             -DCONFIG_PAGE_COLORING
+CONFIG_DEMAND_PAGING:=             -DCONFIG_DEMAND_PAGING
+CONFIG_NOMTRRS:=                   -DCONFIG_NOMTRRS
+CONFIG_E1000_MMIO_HACK:=           -DCONFIG_E1000_MMIO_HACK
 CONFIG_E1000_ON_BOXBORO:=          -DE1000_MMIO_ADDR=0x9bb20000
 CONFIG_E1000_ON_S142:=             -DE1000_MMIO_ADDR=0xfbee0000
-CONFIG_ENABLE_MPTABLES:=           -D__CONFIG_ENABLE_MPTABLES__
-CONFIG_MONITOR_ON_INT:=            -D__CONFIG_MONITOR_ON_INT__
-CONFIG_DISABLE_SMT:=               -D__CONFIG_DISABLE_SMT__
-CONFIG_BOXBORO:=                   -D__CONFIG_BOXBORO__
-CONFIG_RESET_STACKS:=              -D__CONFIG_RESET_STACKS__
-CONFIG_PCI_VERBOSE:=               -D__CONFIG_PCI_VERBOSE__
-CONFIG_ETH_AUDIO:=                 -D__CONFIG_ETH_AUDIO__
-CONFIG_KB_CORE0_ONLY:=             -D__CONFIG_KB_CORE0_ONLY__
-CONFIG_KTHREAD_POISON:=            -D__CONFIG_KTHREAD_POISON__
-CONFIG_PRINTK_NO_BACKSPACE:=       -D__CONFIG_PRINTK_NO_BACKSPACE__
-CONFIG_SOCKET:=                    -D__CONFIG_SOCKET__
+CONFIG_ENABLE_MPTABLES:=           -DCONFIG_ENABLE_MPTABLES
+CONFIG_MONITOR_ON_INT:=            -DCONFIG_MONITOR_ON_INT
+CONFIG_DISABLE_SMT:=               -DCONFIG_DISABLE_SMT
+CONFIG_BOXBORO:=                   -DCONFIG_BOXBORO
+CONFIG_RESET_STACKS:=              -DCONFIG_RESET_STACKS
+CONFIG_PCI_VERBOSE:=               -DCONFIG_PCI_VERBOSE
+CONFIG_ETH_AUDIO:=                 -DCONFIG_ETH_AUDIO
+CONFIG_KB_CORE0_ONLY:=             -DCONFIG_KB_CORE0_ONLY
+CONFIG_KTHREAD_POISON:=            -DCONFIG_KTHREAD_POISON
+CONFIG_PRINTK_NO_BACKSPACE:=       -DCONFIG_PRINTK_NO_BACKSPACE
+CONFIG_SOCKET:=                    -DCONFIG_SOCKET
 
 # Userspace configuration parameters
 # By default, each of these options will be turned off
 # To enable any of these options, add a line like the following to your Makelocal
 # USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
-CONFIG_SYSCALL_TRAP:=              -D__CONFIG_SYSCALL_TRAP__
+CONFIG_SYSCALL_TRAP:=              -DCONFIG_SYSCALL_TRAP
 CONFIG_USER_DEBUGINFO:=            -g
 
 # User tests configuration parameters
index b5d923c..844ebaa 100644 (file)
@@ -34,7 +34,7 @@ void cache_init()
        available_caches.l2 = SINIT(&l2);
        available_caches.l3 = SINIT(&l3);
        llc_cache = &l3;
-#ifdef __CONFIG_BOXBORO__
+#ifdef CONFIG_BOXBORO
        /* level (ignoring L1I), size, ways, CL size) */
        init_cache_properties(&l1,   32,  8, 64);       /* 1 color */
        init_cache_properties(&l2,  256,  8, 64);       /* 16 colors */
@@ -43,7 +43,7 @@ void cache_init()
        init_cache_properties(&l1,   32,  8, 64);       /* 1 color */
        init_cache_properties(&l2,  256,  8, 64);       /* 16 colors */
        init_cache_properties(&l3, 8192, 16, 64);       /* 128 colors */
-#endif /* __CONFIG_E1000_ON_BOXBORO__ */
+#endif /* CONFIG_E1000_ON_BOXBORO */
        printk("Cache init successful\n");
 }
 
index b8b2abc..5ce619c 100644 (file)
@@ -73,14 +73,14 @@ static void serial_put_char(struct cons_dev *cdev, uint8_t c)
        switch (c & 0xff) {
                case '\b':
                case 0x7f:
-               #ifdef __CONFIG_PRINTK_NO_BACKSPACE__
+               #ifdef CONFIG_PRINTK_NO_BACKSPACE
                        __serial_put_char(cdev->val, (uint8_t)('^'));
                        __serial_put_char(cdev->val, (uint8_t)('H'));
                #else
                        __serial_put_char(cdev->val, '\b');
                        __serial_put_char(cdev->val, (uint8_t)(' '));
                        __serial_put_char(cdev->val, '\b');
-               #endif /* __CONFIG_PRINTK_NO_BACKSPACE__ */
+               #endif /* CONFIG_PRINTK_NO_BACKSPACE */
                        break;
                case '\n':
                case '\r':
@@ -323,7 +323,7 @@ cga_putc(int c)
        switch (c & 0xff) {
        case '\b':
        case 0x7f:
-       #ifdef __CONFIG_PRINTK_NO_BACKSPACE__
+       #ifdef CONFIG_PRINTK_NO_BACKSPACE
                cga_putc('^');
                cga_putc('H');
        #else
@@ -333,7 +333,7 @@ cga_putc(int c)
                        crt_buf[crt_pos] = (c & ~0xff) | ' ';
                        scrolling_crt_buf[scrolling_crt_pos] = crt_buf[crt_pos];
                }
-       #endif /* __CONFIG_PRINTK_NO_BACKSPACE__ */
+       #endif /* CONFIG_PRINTK_NO_BACKSPACE */
                break;
        case '\n':
                crt_pos += CRT_COLS;
@@ -500,7 +500,7 @@ kbd_proc_data(void)
        int c;
        uint8_t data;
 
-#ifdef __CONFIG_KB_CORE0_ONLY__
+#ifdef CONFIG_KB_CORE0_ONLY
        /* Ghetto hack to avoid crashing brho's buggy nehalem. */
        uint32_t eax, ebx, ecx, edx, family, model, stepping;
        cpuid(0x1, 0x0, &eax, &ebx, &ecx, &edx);
@@ -510,7 +510,7 @@ kbd_proc_data(void)
        if (family == 6 && model == 26 && stepping == 4)
                if (core_id())
                        return -1;
-#endif /* __CONFIG_KB_CORE0_ONLY */
+#endif /* CONFIG_KB_CORE0_ONLY */
 
        if ((inb(KBSTATP) & KBS_DIB) == 0)
                return -1;
@@ -635,7 +635,7 @@ int cons_get_any_char(void)
 void cons_putc(int c)
 {
        spin_lock_irqsave(&lock);
-       #ifndef __CONFIG_SERIAL_IO__
+       #ifndef CONFIG_SERIAL_IO
                serial_spam_char(c);
        #endif
        //lpt_putc(c);  /* very slow on the nehalem */
index 83ca0ca..9233299 100644 (file)
@@ -176,7 +176,7 @@ void show_mapping(uintptr_t start, size_t size)
 /* Like backtrace, this is probably not the best place for this. */
 void spinlock_debug(spinlock_t *lock)
 {
-#ifdef __CONFIG_SPINLOCK_DEBUG__
+#ifdef CONFIG_SPINLOCK_DEBUG
        eipdebuginfo_t debuginfo;
        char buf[256];
        uint32_t eip = (uint32_t)lock->call_site;
index bb372e1..16a0815 100644 (file)
@@ -642,7 +642,7 @@ void e1000_setup_interrupts() {
 
        // Enable irqs for the e1000
        // TODO: figure out where the interrupts are actually going..
-#ifdef __CONFIG_ENABLE_MPTABLES__
+#ifdef CONFIG_ENABLE_MPTABLES
        /* TODO: this should be for any IOAPIC EOI, not just MPTABLES */
        ioapic_route_irq(e1000_irq, E1000_IRQ_CPU);     
        printk("ioapic rout\n");
@@ -682,7 +682,7 @@ void e1000_interrupt_handler(struct hw_trapframe *hw_tf, void *data)
 
        if ((icr & E1000_ICR_INT_ASSERTED) && (icr & E1000_ICR_RXT0)){
                e1000_interrupt_debug("---->Packet Received\n");
-#ifdef __CONFIG_SOCKET__
+#ifdef CONFIG_SOCKET
 //#if 0
                e1000_clean_rx_irq();
                // e1000_recv_pbuf(); // really it is now performing the function of rx_clean
@@ -822,7 +822,7 @@ void e1000_handle_rx_packet() {
        } while ((status & E1000_RXD_STAT_EOP) == 0); // Check to see if we are at the final fragment
 
 
-#ifdef __CONFIG_APPSERVER__
+#ifdef CONFIG_APPSERVER
        // Treat as a syscall frontend response packet if eth_type says so
        // Will eventually go away, so not too worried about elegance here...
        uint16_t eth_type = htons(*(uint16_t*)(rx_buffer + 12));
@@ -837,7 +837,7 @@ void e1000_handle_rx_packet() {
        }
 #endif
 
-#ifdef __CONFIG_ETH_AUDIO__
+#ifdef CONFIG_ETH_AUDIO
        /* TODO: move this, and all packet processing, out of this driver (including
         * the ghetto buffer).  Note we don't handle IP fragment reassembly (though
         * this isn't an issue for the eth_audio). */
@@ -851,7 +851,7 @@ void e1000_handle_rx_packet() {
                e1000_wr32(E1000_RDT, e1000_rx_index);
                return;
        }
-#endif /* __CONFIG_ETH_AUDIO__ */
+#endif /* CONFIG_ETH_AUDIO */
 
        // Paul:Mildly hacky stuff for LWIP
        // TODO: Why was this necessary for LWIP?
index ea248bd..adc7cad 100644 (file)
@@ -44,12 +44,12 @@ static void cons_irq_init(void)
                register_interrupt_handler(interrupt_handlers, i->irq + PIC1_OFFSET,
                                           irq_console, i);
                /* Route any console IRQs to core 0 */
-       #ifdef __CONFIG_ENABLE_MPTABLES__
+       #ifdef CONFIG_ENABLE_MPTABLES
                ioapic_route_irq(i->irq, 0);
        #else
                pic_unmask_irq(i->irq);
                unmask_lapic_lvt(LAPIC_LVT_LINT0);
-       #endif /* __CONFIG_ENABLE_MPTABLES__ */
+       #endif /* CONFIG_ENABLE_MPTABLES */
                printd("Registered handler for IRQ %d (ISR %d)\n", i->irq,
                       i->irq + PIC1_OFFSET);
        }
@@ -63,14 +63,14 @@ void arch_init()
        asm volatile ("fninit");
        save_fp_state(&x86_default_fpu); /* used in arch/trap.h for fpu init */
        pci_init();
-#ifdef __CONFIG_ENABLE_MPTABLES__
+#ifdef CONFIG_ENABLE_MPTABLES
        mptables_parse();
        ioapic_init(); // MUST BE AFTER PCI/ISA INIT!
        // TODO: move these back to regular init.  requires fixing the 
-       // __CONFIG_NETWORKING__ inits to not need multiple cores running.
+       // CONFIG_NETWORKING inits to not need multiple cores running.
 #endif
        // this returns when all other cores are done and ready to receive IPIs
-       #ifdef __CONFIG_SINGLE_CORE__
+       #ifdef CONFIG_SINGLE_CORE
                smp_percpu_init();
        #else
                smp_boot();
@@ -78,7 +78,7 @@ void arch_init()
        proc_init();
 
        /* EXPERIMENTAL NETWORK FUNCTIONALITY
-        * To enable, define __CONFIG_NETWORKING__ in your Makelocal
+        * To enable, define CONFIG_NETWORKING in your Makelocal
         * If enabled, will load the rl8168 driver (if device exists)
         * and will a boot into userland matrix, so remote syscalls can be performed.
         * If in simulation, will do some debugging information with the ne2k device
@@ -88,15 +88,15 @@ void arch_init()
         *
         * Additionally, you should have a look at the syscall server in the tools directory
         */
-       #ifdef __CONFIG_NETWORKING__
-       #ifdef __CONFIG_SINGLE_CORE__
+       #ifdef CONFIG_NETWORKING
+       #ifdef CONFIG_SINGLE_CORE
                warn("You currently can't have networking if you boot into single core mode!!\n");
        #else
                rl8168_init();          
                ne2k_init();
                e1000_init();
-       #endif // __CONFIG_SINGLE_CORE__
-       #endif // __CONFIG_NETWORKING__
+       #endif // CONFIG_SINGLE_CORE
+       #endif // CONFIG_NETWORKING
 
        perfmon_init();
        cons_irq_init();
index 76d18c5..94af666 100644 (file)
@@ -336,10 +336,10 @@ void backtrace(void)
                        break;
                eip = *(ebp + 1) - 1;
                ebp = (uint32_t*)(*ebp);
-               #ifdef __CONFIG_RESET_STACKS__
+               #ifdef CONFIG_RESET_STACKS
                if (!strncmp("__smp_idle", debuginfo.eip_fn_name, 10))
                        break;
-               #endif /* __CONFIG_RESET_STACKS__ */
+               #endif /* CONFIG_RESET_STACKS */
        }
 }
 
index db4f2b9..df297b0 100644 (file)
@@ -175,7 +175,7 @@ void ne2k_setup_interrupts() {
        // Kernel based interrupt stuff
        register_interrupt_handler(interrupt_handlers, KERNEL_IRQ_OFFSET + ne2k_irq, ne2k_interrupt_handler, (void *)0);
        
-#ifdef __CONFIG_ENABLE_MPTABLES__
+#ifdef CONFIG_ENABLE_MPTABLES
        ioapic_route_irq(ne2k_irq, 0);  
 #else
        pic_unmask_irq(ne2k_irq);
@@ -365,7 +365,7 @@ void ne2k_handle_rx_packet() {
                return;
        }
 
-#ifdef __CONFIG_APPSERVER__
+#ifdef CONFIG_APPSERVER
        // Treat as a syscall frontend response packet if eth_type says so
        // Will eventually go away, so not too worried about elegance here...
        #include <frontend.h>
index fdb1fff..36e6425 100644 (file)
@@ -51,11 +51,11 @@ void pci_init(void) {
                                pcidev->irqline = result & PCI_IRQLINE_MASK;
                                /* This is the interrupt pin the device uses (INTA# - INTD#) */
                                pcidev->irqpin = (result & PCI_IRQPIN_MASK) >> PCI_IRQPIN_SHFT;
-                               #ifdef __CONFIG_PCI_VERBOSE__
+                               #ifdef CONFIG_PCI_VERBOSE
                                pcidev_print_info(pcidev, 4);
                                #else
                                pcidev_print_info(pcidev, 0);
-                               #endif /* __CONFIG_PCI_VERBOSE__ */
+                               #endif /* CONFIG_PCI_VERBOSE */
                                if (pcidev->irqpin != PCI_NOINT) {
                                        /* TODO: use a list (check for collisions for now) (massive
                                         * collisions on a desktop with bridge IRQs. */
index 91ed978..6c0c94d 100644 (file)
@@ -203,7 +203,7 @@ void setup_default_mtrrs(barrier_t* smp_barrier)
        // flush tlb
        tlb_flush_global();
        // disable MTRRs, and sets default type to WB (06)
-#ifndef __CONFIG_NOMTRRS__ 
+#ifndef CONFIG_NOMTRRS 
        write_msr(IA32_MTRR_DEF_TYPE, 0x00000006);
 
        // Now we can actually safely adjust the MTRRs
index 93172d9..08a6531 100644 (file)
@@ -42,7 +42,7 @@
  * This is a function rl8168 driver, that uses some really ugly hacks to achieve
  * UDP communication with a remote syscall server, without a network stack.
  *
- * To enable use, define __CONFIG_NETWORKING__ in your Makelocal
+ * To enable use, define CONFIG_NETWORKING in your Makelocal
  *
  * @author Paul Pearce <pearce@eecs.berkeley.edu>
  *
@@ -312,7 +312,7 @@ void rl8168_setup_interrupts() {
        
        // Kernel based interrupt stuff
        register_interrupt_handler(interrupt_handlers, KERNEL_IRQ_OFFSET + rl8168_irq, rl8168_interrupt_handler, 0);
-#ifdef __CONFIG_ENABLE_MPTABLES__
+#ifdef CONFIG_ENABLE_MPTABLES
        ioapic_route_irq(rl8168_irq, 1);        
 #else
        pic_unmask_irq(rl8168_irq);
@@ -490,7 +490,7 @@ void rl8168_handle_rx_packet() {
                
        } while (!(current_command & DES_LS_MASK));
 
-#ifdef __CONFIG_APPSERVER__
+#ifdef CONFIG_APPSERVER
        // Treat as a syscall frontend response packet if eth_type says so
        // Will eventually go away, so not too worried about elegance here...
        #include <frontend.h>
@@ -504,7 +504,7 @@ void rl8168_handle_rx_packet() {
                return;
        }
 #endif
-#ifdef __CONFIG_ETH_AUDIO__
+#ifdef CONFIG_ETH_AUDIO
        /* TODO: move this, and all packet processing, out of this driver (including
         * the ghetto buffer).  Note we don't handle IP fragment reassembly (though
         * this isn't an issue for the eth_audio). */
@@ -517,7 +517,7 @@ void rl8168_handle_rx_packet() {
                kfree(rx_buffer);
                return;
        }
-#endif /* __CONFIG_ETH_AUDIO__ */
+#endif /* CONFIG_ETH_AUDIO */
 
        spin_lock(&packet_buffers_lock);
 
index 587ef98..5771a2d 100644 (file)
@@ -9,7 +9,7 @@
 
 static inline long __ros_arch_syscall(long _a0, long _a1)
 {
-       #ifdef __CONFIG_SYSCALL_TRAP__
+       #ifdef CONFIG_SYSCALL_TRAP
                return __syscall_trap(_a0, _a1);
        #else
                return __syscall_sysenter(_a0, _a1);
index 1880f79..c8d93c7 100644 (file)
@@ -158,10 +158,10 @@ void smp_boot(void)
        // on the trampoline (which we must be careful to not deallocate)
        __spin_lock_raw(get_smp_bootlock());
        printk("Number of Cores Detected: %d\n", num_cpus);
-#ifdef __CONFIG_DISABLE_SMT__
+#ifdef CONFIG_DISABLE_SMT
        assert(!(num_cpus % 2));
        printk("Using only %d Idlecores (SMT Disabled)\n", num_cpus >> 1);
-#endif /* __CONFIG_DISABLE_SMT__ */
+#endif /* CONFIG_DISABLE_SMT */
        smp_remap_coreids();
 
        // Remove the mapping of the page used by the trampoline
index 1e23671..cda103d 100644 (file)
@@ -168,11 +168,11 @@ void idt_init(void)
        /* Setup a TSS so that we get the right stack when we trap to the kernel. */
        ts.ts_esp0 = (uintptr_t)bootstacktop;
        ts.ts_ss0 = SINIT(GD_KD);
-#ifdef __CONFIG_KTHREAD_POISON__
+#ifdef CONFIG_KTHREAD_POISON
        /* TODO: KTHR-STACK */
        uintptr_t *poison = (uintptr_t*)ROUNDDOWN(bootstacktop - 1, PGSIZE);
        *poison = 0xdeadbeef;
-#endif /* __CONFIG_KTHREAD_POISON__ */
+#endif /* CONFIG_KTHREAD_POISON */
 
        // Initialize the TSS field of the gdt.
        SEG16ROINIT(gdt[GD_TSS >> 3],STS_T32A, (uint32_t)(&ts),sizeof(taskstate_t),0);
@@ -461,7 +461,7 @@ static bool irq_from_pic(uint32_t trap_nr)
  * IRQ number (trap_nr = PIC_OFFSET + irq) */
 static bool check_spurious_irq(uint32_t trap_nr)
 {
-#ifndef __CONFIG_ENABLE_MPTABLES__             /* TODO: our proxy for using the PIC */
+#ifndef CONFIG_ENABLE_MPTABLES         /* TODO: our proxy for using the PIC */
        /* the PIC may send spurious irqs via one of the chips irq 7.  if the isr
         * doesn't show that irq, then it was spurious, and we don't send an eoi.
         * Check out http://wiki.osdev.org/8259_PIC#Spurious_IRQs */
@@ -501,7 +501,7 @@ static bool check_spurious_irq(uint32_t trap_nr)
 /* Helper, sends an end-of-interrupt for the trap_nr (not HW IRQ number). */
 static void send_eoi(uint32_t trap_nr)
 {
-#ifndef __CONFIG_ENABLE_MPTABLES__             /* TODO: our proxy for using the PIC */
+#ifndef CONFIG_ENABLE_MPTABLES         /* TODO: our proxy for using the PIC */
        /* WARNING: this will break if the LAPIC requests vectors that overlap with
         * the PIC's range. */
        if (irq_from_pic(trap_nr))
index 2c203bd..4f117df 100644 (file)
@@ -21,13 +21,13 @@ cons_putc(int c)
 {
        if(c == '\b' || c == 0x7F)
        {
-       #ifdef __CONFIG_PRINTK_NO_BACKSPACE__
+       #ifdef CONFIG_PRINTK_NO_BACKSPACE
                char buf[2] = {'^', 'H'};
                cputbuf(buf, 2);
        #else
                char buf[3] = {'\b', ' ', '\b'};
                cputbuf(buf, 3);
-       #endif /* __CONFIG_PRINTK_NO_BACKSPACE__ */
+       #endif /* CONFIG_PRINTK_NO_BACKSPACE */
        }
        else
        {
index 29c09dc..b4da7b7 100644 (file)
@@ -41,7 +41,7 @@ extern inline bool atomic_sub_and_test(atomic_t *number, long val);
 /* Spin locks */
 struct spinlock {
        volatile uint32_t RACY rlock;
-#ifdef __CONFIG_SPINLOCK_DEBUG__
+#ifdef CONFIG_SPINLOCK_DEBUG
        uintptr_t call_site;
        uint32_t calling_core;
        bool irq_okay;
@@ -50,7 +50,7 @@ struct spinlock {
 typedef struct spinlock spinlock_t;
 #define SPINLOCK_INITIALIZER {0}
 
-#ifdef __CONFIG_SPINLOCK_DEBUG__
+#ifdef CONFIG_SPINLOCK_DEBUG
 #define SPINLOCK_INITIALIZER_IRQSAVE {0, .irq_okay = TRUE}
 #else
 #define SPINLOCK_INITIALIZER_IRQSAVE SPINLOCK_INITIALIZER
@@ -68,7 +68,7 @@ extern inline void spinlock_debug(spinlock_t *lock);
  * all builds. */
 #include <arch/atomic.h>
 
-#ifdef __CONFIG_SPINLOCK_DEBUG__
+#ifdef CONFIG_SPINLOCK_DEBUG
 /* Arch indep, in k/s/atomic.c */
 void spin_lock(spinlock_t *lock);
 void spin_unlock(spinlock_t *lock);
@@ -85,7 +85,7 @@ static inline void spin_unlock(spinlock_t *lock)
        __spin_unlock(lock);
 }
 
-#endif /* __CONFIG_SPINLOCK_DEBUG__ */
+#endif /* CONFIG_SPINLOCK_DEBUG */
 
 /* Inlines, defined below */
 static inline void spinlock_init(spinlock_t *lock);
@@ -227,7 +227,7 @@ void waiton_barrier(barrier_t* barrier);
 static inline void spinlock_init(spinlock_t *lock)
 {
        __spinlock_init(lock);
-#ifdef __CONFIG_SPINLOCK_DEBUG__
+#ifdef CONFIG_SPINLOCK_DEBUG
        lock->call_site = 0;
        lock->calling_core = 0;
        lock->irq_okay = FALSE;
@@ -237,7 +237,7 @@ static inline void spinlock_init(spinlock_t *lock)
 static inline void spinlock_init_irqsave(spinlock_t *lock)
 {
        __spinlock_init(lock);
-#ifdef __CONFIG_SPINLOCK_DEBUG__
+#ifdef CONFIG_SPINLOCK_DEBUG
        lock->call_site = 0;
        lock->calling_core = 0;
        lock->irq_okay = TRUE;
@@ -280,7 +280,7 @@ static inline bool spin_lock_irq_enabled(spinlock_t *SAFE lock)
  * concurrent write. */
 static inline void __seq_start_write(seq_ctr_t *seq_ctr)
 {
-#ifdef _CONFIG_SEQLOCK_DEBUG_
+#ifdef CONFIG_SEQLOCK_DEBUG
        assert(*seq_ctr % 2 == 0);
 #endif
        (*seq_ctr)++;
@@ -291,7 +291,7 @@ static inline void __seq_start_write(seq_ctr_t *seq_ctr)
 
 static inline void __seq_end_write(seq_ctr_t *seq_ctr)
 {
-#ifdef _CONFIG_SEQLOCK_DEBUG_
+#ifdef CONFIG_SEQLOCK_DEBUG
        assert(*seq_ctr % 2 == 1);
 #endif
        /* Need to prevent the compiler (and some arches) from reordering older
index 24448bb..c529b42 100644 (file)
@@ -23,7 +23,7 @@ static void decrease_lock_depth(uint32_t coreid)
        per_cpu_info[coreid].lock_depth--;
 }
 
-#ifdef __CONFIG_SPINLOCK_DEBUG__
+#ifdef CONFIG_SPINLOCK_DEBUG
 void spin_lock(spinlock_t *lock)
 {
        uint32_t coreid = core_id();
@@ -62,7 +62,7 @@ void spin_unlock(spinlock_t *lock)
        /* Memory barriers are handled by the particular arches */
        __spin_unlock(lock);
 }
-#endif /* __CONFIG_SPINLOCK_DEBUG__ */
+#endif /* CONFIG_SPINLOCK_DEBUG */
 
 /* Inits a hashlock. */
 void hashlock_init(struct hashlock *hl, unsigned int nr_entries)
index d83066a..48c9284 100644 (file)
@@ -25,7 +25,7 @@ void block_init(void)
        bh_kcache = kmem_cache_create("buffer_heads", sizeof(struct buffer_head),
                                      __alignof__(struct buffer_head), 0, 0, 0);
 
-       #ifdef __CONFIG_EXT2FS__
+       #ifdef CONFIG_EXT2FS
        /* Now probe for and init the block device for the ext2 ram disk */
        extern uint8_t _binary_mnt_ext2fs_img_size[];
        extern uint8_t _binary_mnt_ext2fs_img_start[];
@@ -47,7 +47,7 @@ void block_init(void)
        ram_bf->f_dentry->d_inode->i_mapping = &ram_bd->b_pm;
        ram_bf->f_dentry->d_inode->i_bdev = ram_bd;     /* this holds the bd kref */
        kref_put(&ram_bf->f_kref);
-       #endif /* __CONFIG_EXT2FS__ */
+       #endif /* CONFIG_EXT2FS */
 }
 
 /* Generic helper, returns a kref'd reference out of principle. */
index 8d0859a..bec3819 100644 (file)
@@ -31,7 +31,7 @@ inline void init_cache_properties(cache_t *c, size_t sz_k, size_t wa, size_t cls
        c->sz_k = SINIT(sz_k);
        c->clsz = SINIT(clsz);
 
-#ifdef __CONFIG_PAGE_COLORING__
+#ifdef CONFIG_PAGE_COLORING
        //Added as optimization (derived from above);
        size_t nc = get_cache_num_page_colors(c);
        c->num_colors = SINIT(nc);
@@ -242,7 +242,7 @@ static inline void __cache_color_free(cache_t* c, uint8_t* colors_map)
 }
 
 uint8_t* cache_colors_map_alloc() {
-#ifdef __CONFIG_PAGE_COLORING__
+#ifdef CONFIG_PAGE_COLORING
        uint8_t* colors_map = kmalloc(llc_cache->num_colors, 0);
        if(colors_map)
                CLR_BITMASK(colors_map, llc_cache->num_colors);
@@ -253,7 +253,7 @@ uint8_t* cache_colors_map_alloc() {
 }
 
 void cache_colors_map_free(uint8_t* colors_map) {
-#ifdef __CONFIG_PAGE_COLORING__
+#ifdef CONFIG_PAGE_COLORING
        kfree(colors_map);
 #endif
 }
index 3a1539a..f673d7a 100644 (file)
@@ -4,7 +4,7 @@
  *
  * Rimas's Ethernet-Audio device */
 
-#ifdef __CONFIG_ETH_AUDIO__
+#ifdef CONFIG_ETH_AUDIO
 
 #include <eth_audio.h>
 #include <string.h>
@@ -256,4 +256,4 @@ struct page_map_operations ethaud_pm_op = {
        eth_audio_readpage,
 };
 
-#endif /* __CONFIG_ETH_AUDIO__ */
+#endif /* CONFIG_ETH_AUDIO */
index f59ba5e..cd8859c 100644 (file)
@@ -21,7 +21,7 @@ volatile int magic_mem[10];
 void
 frontend_proc_init(struct proc *SAFE p)
 {
-#ifdef __CONFIG_APPSERVER__
+#ifdef CONFIG_APPSERVER
        pid_t parent_id = p->ppid, id = p->pid;
        int32_t errno;
        if(frontend_syscall(parent_id,APPSERVER_SYSCALL_proc_init,id,0,0,0,&errno))
@@ -32,7 +32,7 @@ frontend_proc_init(struct proc *SAFE p)
 void
 frontend_proc_free(struct proc *SAFE p)
 {
-#ifdef __CONFIG_APPSERVER__
+#ifdef CONFIG_APPSERVER
        int32_t errno;
        if(frontend_syscall(0,APPSERVER_SYSCALL_proc_free,p->pid,0,0,0,&errno))
                panic("Front-end server couldn't free process!");
@@ -144,7 +144,7 @@ int32_t frontend_syscall(pid_t pid, int32_t syscall_num,
                          uint32_t arg0, uint32_t arg1, 
                          uint32_t arg2, uint32_t arg3, int32_t* errno)
 {
-#ifndef __CONFIG_APPSERVER__
+#ifndef CONFIG_APPSERVER
        warn("No appserver support, requested syscall %d for proc %d", syscall_num,
             pid);
        if(errno)
index 2f323f5..1a30fb5 100644 (file)
@@ -4,7 +4,7 @@
 #pragma nosharc
 #endif
 
-#ifdef __CONFIG_BSD_ON_CORE0__
+#ifdef CONFIG_BSD_ON_CORE0
 #error "Yeah, it's not possible to build ROS with BSD on Core 0, sorry......"
 #else
 
@@ -102,12 +102,12 @@ void kernel_init(multiboot_info_t *mboot_info)
        block_init();
        enable_irq();
        socket_init();
-#ifdef __CONFIG_EXT2FS__
+#ifdef CONFIG_EXT2FS
        mount_fs(&ext2_fs_type, "/dev/ramdisk", "/mnt", 0);
-#endif /* __CONFIG_EXT2FS__ */
-#ifdef __CONFIG_ETH_AUDIO__
+#endif /* CONFIG_EXT2FS */
+#ifdef CONFIG_ETH_AUDIO
        eth_audio_init();
-#endif /* __CONFIG_ETH_AUDIO__ */
+#endif /* CONFIG_ETH_AUDIO */
 
        // zra: let's Ivy know we're done booting
        booting = 0;
index a20bd38..c27d1b9 100644 (file)
@@ -44,7 +44,7 @@ void restart_kthread(struct kthread *kthread)
        current_stacktop = get_stack_top();
        /* When a kthread runs, its stack is the default kernel stack */
        set_stack_top(kthread->stacktop);
-#ifdef __CONFIG_KTHREAD_POISON__
+#ifdef CONFIG_KTHREAD_POISON
        /* TODO: KTHR-STACK */
        /* Assert and switch to cur stack not in use, kthr stack in use */
        uintptr_t *cur_stack_poison, *kth_stack_poison;
@@ -54,7 +54,7 @@ void restart_kthread(struct kthread *kthread)
        kth_stack_poison = (uintptr_t*)ROUNDDOWN(kthread->stacktop - 1, PGSIZE);
        assert(!*kth_stack_poison);
        *kth_stack_poison = 0xdeadbeef;
-#endif /* __CONFIG_KTHREAD_POISON__ */
+#endif /* CONFIG_KTHREAD_POISON */
        /* Set the spare stuff (current kthread, current (not kthread) stacktop) */
        pcpui->spare = kthread;
        kthread->stacktop = current_stacktop;
@@ -201,17 +201,17 @@ void sem_down(struct semaphore *sem)
                kthread = kmem_cache_alloc(kthread_kcache, 0);
                assert(kthread);
                assert(!kpage_alloc(&page));    /* decref'd when the kthread is freed */
-#ifdef __CONFIG_KTHREAD_POISON__
+#ifdef CONFIG_KTHREAD_POISON
                /* TODO: KTHR-STACK don't poison like this */
                *(uintptr_t*)page2kva(page) = 0;
-#endif /* __CONFIG_KTHREAD_POISON__ */
+#endif /* CONFIG_KTHREAD_POISON */
                new_stacktop = (uintptr_t)page2kva(page) + PGSIZE;
        }
        /* This is the stacktop we are currently on and wish to save */
        kthread->stacktop = get_stack_top();
        /* Set the core's new default stack */
        set_stack_top(new_stacktop);
-#ifdef __CONFIG_KTHREAD_POISON__
+#ifdef CONFIG_KTHREAD_POISON
        /* Mark the new stack as in-use, and unmark the current kthread */
        /* TODO: KTHR-STACK don't poison like this */
        uintptr_t *new_stack_poison, *kth_stack_poison;
@@ -221,7 +221,7 @@ void sem_down(struct semaphore *sem)
        kth_stack_poison = (uintptr_t*)ROUNDDOWN(kthread->stacktop - 1, PGSIZE);
        assert(*kth_stack_poison == 0xdeadbeef);
        *kth_stack_poison = 0;
-#endif /* __CONFIG_KTHREAD_POISON__ */
+#endif /* CONFIG_KTHREAD_POISON */
        /* The kthread needs to stay in the process context (if there is one), but
         * we want the core (which could be a vcore) to stay in the context too.  In
         * the future, we could check owning_proc. If it isn't set, we could leave
@@ -276,12 +276,12 @@ unwind_sleep_prep:
        pcpui->spare = kthread;
        /* save the "freshly alloc'd" stack/page, not the one we came in on */
        kthread->stacktop = new_stacktop;
-#ifdef __CONFIG_KTHREAD_POISON__
+#ifdef CONFIG_KTHREAD_POISON
        /* TODO: KTHR-STACK don't unpoison like this */
        /* switch back to old stack in use, new one not */
        *new_stack_poison = 0;
        *kth_stack_poison = 0xdeadbeef;
-#endif /* __CONFIG_KTHREAD_POISON__ */
+#endif /* CONFIG_KTHREAD_POISON */
 block_return_path:
        printd("[kernel] Returning from being 'blocked'! at %llu\n", read_tsc());
        return;
index 4d0e99c..b2e09db 100644 (file)
@@ -493,7 +493,7 @@ void *__do_mmap(struct proc *p, uintptr_t addr, size_t len, int prot, int flags,
                addr = BRK_END;
        assert(!PGOFF(offset));
 
-#ifndef __CONFIG_DEMAND_PAGING__
+#ifndef CONFIG_DEMAND_PAGING
        flags |= MAP_POPULATE;
 #endif
        /* Need to make sure nothing is in our way when we want a FIXED location.
index 6830ec4..803252e 100644 (file)
@@ -501,15 +501,15 @@ int mon_measure(int argc, char **argv, struct hw_trapframe *hw_tf)
                        return 1;
                }
                begin = start_timing();
-#ifdef __CONFIG_APPSERVER__
+#ifdef CONFIG_APPSERVER
                printk("Warning: this will be inaccurate due to the appserver.\n");
                end_refcnt = kref_refcnt(&p->p_kref) - p->procinfo->num_vcores - 1;
-#endif /* __CONFIG_APPSERVER__ */
+#endif /* CONFIG_APPSERVER */
                enable_irqsave(&irq_state);
                proc_destroy(p);
                disable_irqsave(&irq_state);
                proc_decref(p);
-#ifdef __CONFIG_APPSERVER__
+#ifdef CONFIG_APPSERVER
                /* Won't be that accurate, since it's not actually going through the
                 * __proc_free() path. */
                spin_on(kref_refcnt(&p->p_kref) != end_refcnt); 
@@ -518,7 +518,7 @@ int mon_measure(int argc, char **argv, struct hw_trapframe *hw_tf)
                 * slowing it down by messing with it, esp with the busy waiting on a
                 * hyperthreaded core. */
                spin_on(p->env_cr3);
-#endif /* __CONFIG_APPSERVER__ */
+#endif /* CONFIG_APPSERVER */
                /* No noticeable difference using stop_timing instead of read_tsc() */
                diff = stop_timing(begin);
        } else if (!strcmp(argv[1], "preempt")) {
index 075b492..5185f7e 100644 (file)
@@ -24,7 +24,7 @@
 static void __page_decref(page_t *CT(1) page);
 static error_t __page_alloc_specific(page_t** page, size_t ppn);
 
-#ifdef __CONFIG_PAGE_COLORING__
+#ifdef CONFIG_PAGE_COLORING
 #define NUM_KERNEL_COLORS 8
 #else
 #define NUM_KERNEL_COLORS 1
index 3e59e9a..3698b9a 100644 (file)
@@ -137,15 +137,15 @@ void schedule_init(void)
        /* init the idlecore list.  if they turned off hyperthreading, give them the
         * odds from 1..max-1.  otherwise, give them everything by 0 (default mgmt
         * core).  TODO: (CG/LL) better LL/CG mgmt */
-#ifndef __CONFIG_DISABLE_SMT__
+#ifndef CONFIG_DISABLE_SMT
        for (int i = 1; i < num_cpus; i++)
                TAILQ_INSERT_TAIL(&idlecores, pcoreid2spc(i), alloc_next);
 #else
        assert(!(num_cpus % 2));
        for (int i = 1; i < num_cpus; i += 2)
                TAILQ_INSERT_TAIL(&idlecores, pcoreid2spc(i), alloc_next);
-#endif /* __CONFIG_DISABLE_SMT__ */
-#ifdef __CONFIG_ARSC_SERVER__
+#endif /* CONFIG_DISABLE_SMT */
+#ifdef CONFIG_ARSC_SERVER
        struct sched_pcore *a_core = TAILQ_FIRST(&idlecores);
        assert(a_core);
        TAILQ_REMOVE(&idlecores, a_core, alloc_next);
@@ -153,7 +153,7 @@ void schedule_init(void)
                            KMSG_ROUTINE);
        warn("Using core %d for the ARSCs - there are probably issues with this.",
             spc2pcoreid(a_core));
-#endif /* __CONFIG_ARSC_SERVER__ */
+#endif /* CONFIG_ARSC_SERVER */
        spin_unlock(&sched_lock);
        return;
 }
@@ -570,11 +570,11 @@ void avail_res_changed(int res_type, long change)
 uint32_t max_vcores(struct proc *p)
 {
 /* TODO: (CG/LL) */
-#ifdef __CONFIG_DISABLE_SMT__
+#ifdef CONFIG_DISABLE_SMT
        return num_cpus >> 1;
 #else
        return num_cpus - 1;    /* reserving core 0 */
-#endif /* __CONFIG_DISABLE_SMT__ */
+#endif /* CONFIG_DISABLE_SMT */
 }
 
 /* This deals with a request for more cores.  The amt of new cores needed is
index a1b7308..fd29ae2 100644 (file)
@@ -75,9 +75,9 @@ static void __attribute__((noinline, noreturn)) __smp_idle(void)
 
 void smp_idle(void)
 {
-       #ifdef __CONFIG_RESET_STACKS__
+       #ifdef CONFIG_RESET_STACKS
        set_stack_pointer(get_stack_top());
-       #endif /* __CONFIG_RESET_STACKS__ */
+       #endif /* CONFIG_RESET_STACKS */
        __smp_idle();
        assert(0);
 }
@@ -99,9 +99,9 @@ void smp_percpu_init(void)
        STAILQ_INIT(&per_cpu_info[coreid].routine_amsgs);
        /* Initialize the per-core timer chain */
        init_timer_chain(&per_cpu_info[coreid].tchain, set_pcpu_alarm_interrupt);
-#ifdef __CONFIG_KTHREAD_POISON__
+#ifdef CONFIG_KTHREAD_POISON
        /* TODO: KTHR-STACK */
        uintptr_t *poison = (uintptr_t*)ROUNDDOWN(get_stack_top() - 1, PGSIZE);
        *poison = 0xdeadbeef;
-#endif /* __CONFIG_KTHREAD_POISON__ */
+#endif /* CONFIG_KTHREAD_POISON */
 }
index 4509b26..897ec10 100644 (file)
@@ -37,7 +37,7 @@
 #include <socket.h>
 
 
-#ifdef __CONFIG_NETWORKING__
+#ifdef CONFIG_NETWORKING
 #include <net/nic_common.h>
 extern int (*send_frame)(const char *CT(len) data, size_t len);
 extern unsigned char device_mac[6];
@@ -946,7 +946,7 @@ static ssize_t sys_serial_read(env_t* e, char *DANGEROUS _buf, size_t len)
        if (len == 0)
                return 0;
 
-       #ifdef __CONFIG_SERIAL_IO__
+       #ifdef CONFIG_SERIAL_IO
            char *COUNT(len) buf = user_mem_assert(e, _buf, len, 1, PTE_USER_RO);
                size_t bytes_read = 0;
                int c;
@@ -966,7 +966,7 @@ static ssize_t sys_serial_write(env_t* e, const char *DANGEROUS buf, size_t len)
        printk("[kernel] serial writing is deprecated.\n");
        if (len == 0)
                return 0;
-       #ifdef __CONFIG_SERIAL_IO__
+       #ifdef CONFIG_SERIAL_IO
                char *COUNT(len) _buf = user_mem_assert(e, buf, len, 1, PTE_USER_RO);
                for(int i =0; i<len; i++)
                        serial_send_byte(buf[i]);
@@ -976,7 +976,7 @@ static ssize_t sys_serial_write(env_t* e, const char *DANGEROUS buf, size_t len)
        #endif
 }
 
-#ifdef __CONFIG_NETWORKING__
+#ifdef CONFIG_NETWORKING
 // This is not a syscall we want. Its hacky. Here just for syscall stuff until get a stack.
 static ssize_t sys_eth_read(env_t* e, char *DANGEROUS buf)
 {
@@ -1468,7 +1468,7 @@ intreg_t sys_gettimeofday(struct proc *p, int *buf)
        spin_lock(&gtod_lock);
        if(t0 == 0)
 
-#if (defined __CONFIG_APPSERVER__)
+#if (defined CONFIG_APPSERVER)
        t0 = ufe(time,0,0,0,0);
 #else
        // Nanwan's birthday, bitches!!
@@ -1588,17 +1588,17 @@ const static struct sys_table_entry syscall_table[] = {
        [SYS_self_notify] = {(syscall_t)sys_self_notify, "self_notify"},
        [SYS_vc_entry] = {(syscall_t)sys_vc_entry, "vc_entry"},
        [SYS_halt_core] = {(syscall_t)sys_halt_core, "halt_core"},
-#ifdef __CONFIG_SERIAL_IO__
+#ifdef CONFIG_SERIAL_IO
        [SYS_serial_read] = {(syscall_t)sys_serial_read, "ser_read"},
        [SYS_serial_write] = {(syscall_t)sys_serial_write, "ser_write"},
 #endif
-#ifdef __CONFIG_NETWORKING__
+#ifdef CONFIG_NETWORKING
        [SYS_eth_read] = {(syscall_t)sys_eth_read, "eth_read"},
        [SYS_eth_write] = {(syscall_t)sys_eth_write, "eth_write"},
        [SYS_eth_get_mac_addr] = {(syscall_t)sys_eth_get_mac_addr, "get_mac"},
        [SYS_eth_recv_check] = {(syscall_t)sys_eth_recv_check, "recv_check"},
 #endif
-#ifdef __CONFIG_ARSC_SERVER__
+#ifdef CONFIG_ARSC_SERVER
        [SYS_init_arsc] = {(syscall_t)sys_init_arsc, "init_arsc"},
 #endif
        [SYS_change_to_m] = {(syscall_t)sys_change_to_m, "change_to_m"},
index 1b88761..2f5a4ca 100644 (file)
@@ -99,7 +99,7 @@ void vfs_init(void)
        /* build list of all FS's in the system.  put yours here.  if this is ever
         * done on the fly, we'll need to lock. */
        TAILQ_INSERT_TAIL(&file_systems, &kfs_fs_type, list);
-#ifdef __CONFIG_EXT2FS__
+#ifdef CONFIG_EXT2FS
        TAILQ_INSERT_TAIL(&file_systems, &ext2_fs_type, list);
 #endif
        TAILQ_FOREACH(fs, &file_systems, list)
index 0cd0b6c..218e545 100644 (file)
@@ -1,4 +1,4 @@
-#ifdef __CONFIG_ARSC_SERVER__
+#ifdef CONFIG_ARSC_SERVER
 #include <stdio.h>
 #include <stdlib.h>
 #include <pthread.h>
index 94d3e0a..58321fa 100644 (file)
@@ -1,4 +1,4 @@
-#ifdef __CONFIG_ARSC_SERVER__
+#ifdef CONFIG_ARSC_SERVER
 #include <parlib.h>
 #include <vcore.h>
 #include <ros/syscall.h>
index e6c10c5..b7473f2 100644 (file)
@@ -43,13 +43,13 @@ void spinlock_unlock(spinlock_t *lock);
 /* RISCV doesn't support CAS, so til it does, we use the NO_CAS, even if they
  * didn't ask for it in their config. */
 #ifdef __riscv__
-# ifndef __CONFIG_SPINPDR_NO_CAS__
-#  define __CONFIG_SPINPDR_NO_CAS__ 1
+# ifndef CONFIG_SPINPDR_NO_CAS
+#  define CONFIG_SPINPDR_NO_CAS 1
 # endif
 #endif
 
 /* Two different versions, with and without CAS.  Default is with CAS. */
-#ifndef __CONFIG_SPINPDR_NO_CAS__
+#ifndef CONFIG_SPINPDR_NO_CAS
 
 # define SPINPDR_UNLOCKED ((uint32_t)-1)
 
@@ -68,7 +68,7 @@ struct spin_pdr_lock {
 };
 # define SPINPDR_INITIALIZER {SPINLOCK_INITIALIZER, SPINPDR_VCOREID_UNKNOWN}
 
-#endif /* __CONFIG_SPINPDR_NO_CAS__ */
+#endif /* CONFIG_SPINPDR_NO_CAS */
 
 typedef struct spin_pdr_lock spinpdrlock_t;
 
index 148cd77..872e8ed 100644 (file)
@@ -54,7 +54,7 @@ void spinlock_unlock(spinlock_t *lock)
 }
 
 /* Two different versions, with and without CAS.  Default is with CAS. */
-#ifndef __CONFIG_SPINPDR_NO_CAS__ /* CAS version */
+#ifndef CONFIG_SPINPDR_NO_CAS /* CAS version */
 
 /* Spin-PRD locks (preemption detection/recovery).  Idea is to CAS and put the
  * lockholder's vcoreid in the lock, and all spinners ensure that vcore runs. */
@@ -120,7 +120,7 @@ void __spin_pdr_unlock(struct spin_pdr_lock *pdr_lock)
        spinlock_unlock(&pdr_lock->spinlock);
 }
 
-#endif /* __CONFIG_SPINPDR_NO_CAS__ */
+#endif /* CONFIG_SPINPDR_NO_CAS */
 
 void spin_pdr_lock(struct spin_pdr_lock *pdr_lock)
 {