Re: Does anything ever enter through startup_64 in head_64.S?

2016-12-07 Thread David Howells
Matt Fleming wrote: > > Does anything ever enter the kernel through startup_64 in head_64.S?[*] Do > > all 64-bit mode entries always enter through one of the EFI entry points? > > Which head_64.S? There are two ;-) > > Assuming you mean startup_64 in

Re: Does anything ever enter through startup_64 in head_64.S?

2016-12-07 Thread David Howells
Matt Fleming wrote: > > Does anything ever enter the kernel through startup_64 in head_64.S?[*] Do > > all 64-bit mode entries always enter through one of the EFI entry points? > > Which head_64.S? There are two ;-) > > Assuming you mean startup_64 in boot/compressed/head_64.S, then the >

Re: Does anything ever enter through startup_64 in head_64.S?

2016-12-07 Thread Matt Fleming
On Wed, 07 Dec, at 03:11:17PM, David Howells wrote: > Hi Matt, > > Does anything ever enter the kernel through startup_64 in head_64.S?[*] Do > all 64-bit mode entries always enter through one of the EFI entry points? Which head_64.S? There are two ;-) Assuming you mean startup_64 in

Re: Does anything ever enter through startup_64 in head_64.S?

2016-12-07 Thread Matt Fleming
On Wed, 07 Dec, at 03:11:17PM, David Howells wrote: > Hi Matt, > > Does anything ever enter the kernel through startup_64 in head_64.S?[*] Do > all 64-bit mode entries always enter through one of the EFI entry points? Which head_64.S? There are two ;-) Assuming you mean startup_64 in

Does anything ever enter through startup_64 in head_64.S?

2016-12-07 Thread David Howells
Hi Matt, Does anything ever enter the kernel through startup_64 in head_64.S?[*] Do all 64-bit mode entries always enter through one of the EFI entry points? Thanks, David [*] I know startup_32 goes through there, but that's internal

Does anything ever enter through startup_64 in head_64.S?

2016-12-07 Thread David Howells
Hi Matt, Does anything ever enter the kernel through startup_64 in head_64.S?[*] Do all 64-bit mode entries always enter through one of the EFI entry points? Thanks, David [*] I know startup_32 goes through there, but that's internal