| // Copyright 2016 The Fuchsia Authors |
| // Copyright (c) 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 |
| // https://opensource.org/licenses/MIT |
| |
| #pragma once |
| |
| #include <kernel/range_check.h> |
| #include <kernel/mutex.h> |
| #include <stdint.h> |
| #include <sys/types.h> |
| #include <vm/vm.h> |
| #include <vm/vm_aspace.h> |
| |
| #define VM_GLOBAL_TRACE 0 |
| |
| // return a pointer to the zero page |
| static inline vm_page_t* vm_get_zero_page(void) { |
| extern vm_page_t* zero_page; |
| return zero_page; |
| } |
| |
| // return the physical address of the zero page |
| static inline paddr_t vm_get_zero_page_paddr(void) { |
| extern paddr_t zero_page_paddr; |
| |
| return zero_page_paddr; |
| } |