Changeset View
Changeset View
Standalone View
Standalone View
sys/amd64/include/msan.h
- This file was added.
| /*- | |||||
| * SPDX-License-Identifier: BSD-2-Clause-FreeBSD | |||||
| * | |||||
| * Copyright (c) 2021 The FreeBSD Foundation | |||||
| * | |||||
| * This software was developed by Mark Johnston under sponsorship from the | |||||
| * FreeBSD Foundation. | |||||
| * | |||||
| * Redistribution and use in source and binary forms, with or without | |||||
| * modification, are permitted provided that the following conditions are | |||||
| * met: | |||||
| * 1. Redistributions of source code must retain the above copyright | |||||
| * notice, this list of conditions and the following disclaimer. | |||||
| * 2. Redistributions in binary form must reproduce the above copyright | |||||
| * notice, this list of conditions and the following disclaimer in | |||||
| * the documentation and/or other materials provided with the distribution. | |||||
| * | |||||
| * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND | |||||
| * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |||||
| * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | |||||
| * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE | |||||
| * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL | |||||
| * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS | |||||
| * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) | |||||
| * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT | |||||
| * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY | |||||
| * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | |||||
| * SUCH DAMAGE. | |||||
| */ | |||||
| #ifndef _MACHINE_MSAN_H_ | |||||
| #define _MACHINE_MSAN_H_ | |||||
| #ifdef KMSAN | |||||
| #include <vm/vm.h> | |||||
| #include <vm/pmap.h> | |||||
| #include <vm/vm_page.h> | |||||
| #include <machine/vmparam.h> | |||||
| typedef uint32_t msan_orig_t; | |||||
| static inline msan_orig_t | |||||
| kmsan_md_orig_encode(int type, uintptr_t ptr) | |||||
| { | |||||
| /* XXXMJ comments and symbolic constants */ | |||||
| return ((type << 29u) | ((ptr & 0x1fffffff))); | |||||
| } | |||||
| static inline void | |||||
| kmsan_md_orig_decode(msan_orig_t orig, int *type, uintptr_t *ptr) | |||||
| { | |||||
| *type = orig >> 29u; | |||||
| *ptr = (orig & 0x1fffffff) | KERNBASE; | |||||
| } | |||||
| static inline vm_offset_t | |||||
| kmsan_md_addr_to_shad(vm_offset_t addr) | |||||
| { | |||||
| return (addr - VM_MIN_KERNEL_ADDRESS + KMSAN_SHAD_MIN_ADDRESS); | |||||
| } | |||||
| static inline vm_offset_t | |||||
| kmsan_md_addr_to_orig(vm_offset_t addr) | |||||
| { | |||||
| return (addr - VM_MIN_KERNEL_ADDRESS + KMSAN_ORIG_MIN_ADDRESS); | |||||
| } | |||||
| static inline bool | |||||
| kmsan_md_unsupported(vm_offset_t addr) | |||||
| { | |||||
| return (addr < VM_MIN_KERNEL_ADDRESS || addr >= KERNBASE); | |||||
| } | |||||
| extern char btext[], etext[]; | |||||
| static inline bool | |||||
| kmsan_md_is_pc(uintptr_t pc) | |||||
| { | |||||
| return (pc >= (uintptr_t)btext);// XXXMJ && pc < (uintptr_t)etext); | |||||
| } | |||||
| #endif /* KMSAN */ | |||||
| #endif /* !_MACHINE_MSAN_H_ */ | |||||