blob: 0dcbbdb07ef9caf06f6b5f46a524650b4c204cf3 [file] [log] [blame]
// Copyright 2016 The Fuchsia Authors
// Copyright (c) 2008-2014 Travis Geiselbrecht
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
#ifndef __ASSEMBLER__
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include <sys/types.h>
#include <zircon/compiler.h>
#include <arch/defines.h>
#include <kernel/cpu.h>
// Fast routines that most arches will implement inline.
static void arch_enable_ints();
static void arch_disable_ints();
static bool arch_ints_disabled();
static cpu_num_t arch_curr_cpu_num();
static uint arch_max_num_cpus();
static uint arch_cpu_features();
uint8_t arch_get_hw_breakpoint_count();
uint8_t arch_get_hw_watchpoint_count();
// Usually implemented in or called from assembly.
extern "C" {
void arch_clean_cache_range(vaddr_t start, size_t len);
void arch_clean_invalidate_cache_range(vaddr_t start, size_t len);
void arch_invalidate_cache_range(vaddr_t start, size_t len);
void arch_sync_cache_range(vaddr_t start, size_t len);
} // extern C
// Used to suspend work on a CPU until it is further shutdown.
// This will only be invoked with interrupts disabled. This function
// must not re-enter the scheduler.
// flush_done should be signaled after state is flushed.
class Event;
void arch_flush_state_and_halt(Event *flush_done) __NO_RETURN;
int arch_idle_thread_routine(void *) __NO_RETURN;
// Arch optimized version of a page zero routine against a page aligned buffer.
// Usually implemented in or called from assembly.
extern "C" void arch_zero_page(void *);
// Give the specific arch a chance to override some routines.
#include <arch/arch_ops.h>
// The arch_blocking_disallowed() flag is used to check that in-kernel interrupt
// handlers do not do any blocking operations. This is a per-CPU flag.
// Various blocking operations, such as mutex.Acquire(), contain assertions
// that arch_blocking_disallowed() is false.
// arch_blocking_disallowed() should only be true when interrupts are
// disabled.
static inline bool arch_blocking_disallowed() {
return READ_PERCPU_FIELD32(blocking_disallowed);
static inline void arch_set_blocking_disallowed(bool value) {
WRITE_PERCPU_FIELD32(blocking_disallowed, value);
static inline uint32_t arch_num_spinlocks_held() { return READ_PERCPU_FIELD32(num_spinlocks); }
#endif // !__ASSEMBLER__