types - #include<kern/types.h> Get machine-dependent...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
#ifndef _TYPES_H_ #define _TYPES_H_ /* * The model for the include files in the kernel is as follows: * * 1. Every source file includes this file, <types.h>, first. * * 2. Every other header file may assume this file has been * included, but should explicitly include any other headers * it requires to compile. */ /* Get machine-dependent types visible to userland */ #include <machine/types.h> /* Get machine-independent types visible to userland */
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: #include <kern/types.h> /* Get machine-dependent types not visible to userland */ #include <machine/ktypes.h> /* * Define userptr_t as a pointer to a one-byte struct, so it won't mix * with other pointers. */ struct __userptr { char _dummy; }; typedef struct __userptr *userptr_t; typedef const struct __userptr *const_userptr_t; #endif /* _TYPES_H_ */...
View Full Document

This note was uploaded on 02/15/2012 for the course CS 153 taught by Professor Brecht during the Spring '12 term at Alabama.

Ask a homework question - tutors are online