d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Formatting-only cleanup accidentally omitted from the patch merge in the

Browse Source 
previous major update.  Bring new code into style alignment with the
existing code.  No functional changes.
This commit is contained in:
Mike Smith 1999-07-29 18:47:39 +00:00
parent d0c9cc72d2
commit 3cc31bc262
2 changed files with 376 additions and 380 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
sys/amd64/amd64/bios.c
View File

@ -24,7 +24,7 @@
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*
* $Id: bios.c,v 1.13 1999/07/29 01:49:17 msmith Exp $
* $Id: bios.c,v 1.14 1999/07/29 06:48:26 msmith Exp $
*/
/*
@ -361,7 +361,7 @@ bios16(struct bios_args *args, char *fmt, ...)
case 'U': /* 16-bit selector */
flags |= BIOSUTIL_FLAG;
/* FALL THROUGH */
/* FALLTHROUGH */
case 'D': /* 16-bit selector */
case 'C': /* 16-bit selector */
case 's': /* 16-bit integer */
@ -385,8 +385,7 @@ bios16(struct bios_args *args, char *fmt, ...)
args->seg.code32.limit = 0xffff;
ptd = (u_int *)rcr3();
if (ptd == IdlePTD)
{
if (ptd == IdlePTD) {
/*
* no page table, so create one and install it.
*/
@ -465,7 +464,6 @@ bios16(struct bios_args *args, char *fmt, ...)
free(pte, M_TEMP); /* ... and free it */
}
/*
* XXX only needs to be invlpg(0) but that doesn't work on the 386
*/

8
sys/i386/i386/bios.c
View File

@ -24,7 +24,7 @@
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*
* $Id: bios.c,v 1.13 1999/07/29 01:49:17 msmith Exp $
* $Id: bios.c,v 1.14 1999/07/29 06:48:26 msmith Exp $
*/
/*
@ -361,7 +361,7 @@ bios16(struct bios_args *args, char *fmt, ...)
case 'U': /* 16-bit selector */
flags |= BIOSUTIL_FLAG;
/* FALL THROUGH */
/* FALLTHROUGH */
case 'D': /* 16-bit selector */
case 'C': /* 16-bit selector */
case 's': /* 16-bit integer */
@ -385,8 +385,7 @@ bios16(struct bios_args *args, char *fmt, ...)
args->seg.code32.limit = 0xffff;
ptd = (u_int *)rcr3();
if (ptd == IdlePTD)
{
if (ptd == IdlePTD) {
/*
* no page table, so create one and install it.
*/
@ -465,7 +464,6 @@ bios16(struct bios_args *args, char *fmt, ...)
free(pte, M_TEMP); /* ... and free it */
}
/*
* XXX only needs to be invlpg(0) but that doesn't work on the 386
*/